added minimal set of annotations to make std::map safe.  one bug remains
Merge branch 'master' of https://github.com/mfs409/tm_stl