Enable Boolean Term conversion in datatypes