Added handling of constants in AllDifferent (again?)
Irrelevant tuples are no longer added to matrices
Logging facilities moved to CSPOM
Expression->Name maps in CSPOM are no longer handled directly