Changes to typechecker provisionally complete