Found a bug in the generalisation code. Finished repeated argument fusion. Added a few test cases and all of them are passing. Hurrah.
Added FixInfo to fixpoints to make way for match-fix fusion