refactored first kind
started adding code for checking whether a lattice is of first kind or not