Removed commented out old code at the bottom of the file.
Added Term.constraint and rewrote match-fix fusion to use it. All tests passing which should pass (4 failures).
Finished fixpoint invention, and I have a working test case for discovering the identity fold function.