adding Bytes*Key, EntryI, HAMT, Keys*I, Leaf* and tests