Simplify MapLattice generics

Change MapLattice generic types to
  MapLattice[K, L <: Lattice[_, L]]
to remove the need to specify the underlying value type of the lattice.