Split Fusion.hs into two separate modules. One for the core fuse/split functions, the other for the various steps that use these functions to simplify terms.