Enable Boolean Term conversion in datatypes
Support Boolean term conversion in datatypes.  Not yet working: parametric DTs, tuples, and records.