prototype: Return pruned term on prune/pruneTerm.
prototype: Made InvertMeta nicer.
prototype: Switch to unordered containers.
prototype: Remove Foldable and Traversable constraints, and Abs.
prototype: Create ad-hoc Monad-like class.