Refactored HMTypes to be fully monadic. Added new mapIn1RebuildTree transformer. Code cleanup in Analysis.Common and Transform.Simplification