Add dt.size to datatypes theory. Add option for fairness strategy used by CEGQI...

Add dt.size to datatypes theory.  Add option for fairness strategy used by CEGQI.  Improve care graph/equality status for datatypes.  Only do FULL effort check in datatypes if no other theories used output channel.