Updated HAMT to current specs.
Make Tuple subclassable.
Updated HAMT specs.