Fished out the bugs in the tree simplification code. Fixed it so that it can now prove commutativity of addition.
Added generalisation of every recursive call to the inner function in fixpoint fusion to only occur with fix-fix fusion, since it seems to break fix-fact fusion.