Typechecker compiles but does not include every kind of typechecking yet