Exporting RedeemScript type alias from module