type checker with doesn't-know-about-variables bug
add "type environments" to typeof
some documentation
bug with variable shadowing