Reenable regression.  Add (for now, disabled) changes to datatypes theory combination.  Relax communication of dt facts.