update typechecker jar