Bugfix: expose overlooked module ConstraintLattice