feat(`algebra`): Lattices / Galois connections

[Autoparallel]

Feature Description
We should add lattices and Galois connections to the harness-algebra crate.

Motivation
They're quite useful.

Implementation Details
If applicable, describe the technical approach to implementing this feature:

• Relational example?