update typechecker