I agree, but I don't think this is the right pull request to remove it.
It might break other things because it is used in many places.
And before that, I think we should discuss about doing the same thing to `Term.getSort`