New Data.Map-based AST implementing Traversable, Foldable, Ixed, At and Functor