Change Contract to use MM
Refactor Contraction

Contraction is now done in the class instance, not the companion object.
Refactor UnifyingResolution
Refactor automatic contractions

Moved from parser to MRR class