Generalized Lattice data-types for Common Lisp, including Algebraic Lattices, Hyperlattices, and Probabilistic Hyperlattices, which intends to follow the packages-as-types convention.
Generalized Lattices are a data-type for representing partially ordered sets (posets) with a join operation and a meet operation. They are a generalization of both Algebraic Lattices and Algebraic Hyperlattices to allow for non-unique joins and meets, providing a consistent interface for lattices of arbitrary dimension.