add Semiring[Map[K, V]] instance
Merge commit '7bcfd16cbeb84af83feff791239a925baab85f65' into topic/order-laws
Corrected lattice + partial order laws to take separate type classes instead of a compound object.