Updated errors due to typechecker changes