update typechecker again