add remap to codegen for functions
add test case for fun to fun, bring back ascription
add test case, ascription for return values
Merge pull request #63 from TiarkRompf/functions-remap

add remap to codegen for functions