typechecker version bump