Not super related, we find the type check lib rho-contracts useful https://github.com/sefaira/rho-contracts.js.