moved Map and Set show functors to typeclasses.sml
consolidate tiny library under one file
more typeclass boilerplate