tests for multiple recursion
some examples
rework typechecking: first steps
monomorphic stuff
binops, unary ops, default environment, tests
function calls, environment, tests
function calls