Cleaned up the display syntax a bit. Fixed the bug in match-fix fusion, so that's now working properly. Added some match-fix test cases.
Non compiling version. In the middle of writing the Elea.Fixpoint.invent function, which requires Elea.Term.buildFold