Moved typeclasses to spire.algebra.lattice.*.
Precised the Domain path dependent and projected types, their companion objects and type classes.
Refactored GrpSubgroup.