Please document new sharing map

It would be great if we could have documentation to go with `sharing_nodet` and `sharing_mapt` as these are non-STL data structures. Just like STL documentation, this should describe the requirements and guarantees (performance, invariants).