Title: Combinatorial aspects of lattice theory with applications to the enumeration of free distributive lattices