Split Relation.Binary.Lattice out into standard hierarchy (#1571)

Author: Akshobhya1234

CHANGELOG.md

@@ -244,6 +244,10 @@ Non-backwards compatible changes
   properties about the orderings themselves the second index must be provided
   explicitly.
 
+  ### Creation of `Relation.Binary.Lattice` hierarchy
+  * In order to improve modularity Relation.Binary.Lattice is split out into Relation.Binary.Lattice.(Definitions/Structures/Bundles).
+  ###
+
 Deprecated modules
 ------------------