And the only reason the language pragma is deprecated is because TypeInType is now just how things are, by default, with no opt-out.