gives appropriate inner types for Sets and Map.
Merge pull request #9 from CrossfireCurt/master

gives appropriate inner types for Sets and Map.