Parameterized, uninterpreted sorts need no Boolean-term conversion