update for new changes in typechecker