local rename: return-type -> type-of-return
fix function def return type
type reconstruction for attributes
type environment references for testing
use cond
comparison tests
type env tests
function declarations
misc
check for correct mode
helpers
better
translate function name at beginning of transform
fix
move type reconstruction code to separate file
correct type declaration
update
remove pesky tabs
use pre-transformed name
fix