Typechecker, half done