- Added the Map type.
- Instantiated the Map & Hash functor.
- Map & hash functor seems to work.