Before I added memory into fusion.
Got fusion memoisation working.
Implemented generalisation based fast unifiability lookup.
Probably a bunch of other stuff too.