Updated some error messages due to typechecker changes