Typechecker, continued