Add draft of Contraction
Change Contraction

Added unit test class too.
Fix bug in Contraction
Fix Contraction

First 'working' draft; needs more testing, and is certainly not elegant.
Can refactor, most likely. Changed test case for it too.
Still need to apply contraction to result of UnifyingResolution.