cons2SMT constructorTest decodeSpecialChars encodeSpecialChars exp2SMT fun2SMT funcs2SMT genSelName lit2SMT pat2SMT patternTest polytype2psort polytype2sort preludeType2SMT selectors tcons2SMT tdecl2SMT transOpName type2sort untransOpName