Support for Boolean term conversion in datatypes.