working state of very basic type checking
stable type checking for parameters & results
Preparing for higher-order function typechecking
cosmetic
type signatures