Add a `Map` and a `MapRange` function

[Stebalien]

Currently, rewriting an entire AMT will end up taking linear memory due to caching. It would be nice if we had a Map (and a MapRange?) function to walk an old AMT, and construct a new AMT without caching.