Added and generalized some useful TH traversals. Added restriction for traversal types. Collected MMorph instances into MonadInstances.hs