Make context a multimap

[elefthei]

Context is now a map, which does not allow for two polymorphic definitions to coexist, although clang clearly allows that (overloading). Substitute Map for Multimap in Context definition.

http://hackage.haskell.org/package/multimap-1.2.1/docs/Data-MultiMap.html