Got invention working within fixfix fusion, and now filter-reverse and count-reverse are fusing properly, but add-count isn't fusing properly.
Lots of changes. Most importantly match-fix requires a reduction to a non fixpoint to succeed. Long story short all of the test cases are now passing.