Typechecker in progress