Slightly improved lattice.hs
Added infix declarations to Subset.hs
Added documentation to the primary function in lattice.hs