zero
BoundedJoinSemilattice
BoundedJoinSemilatticeFunctions
DualBool
GenBoolFromBoolRng
MinMaxBoundedDistributiveLattice