re-update typechecker