core tetra: represent closure types generically in toSalt conversion
core salt: follow eval -> apply name change when generating llvm code