connections-0.0.3: Partial orders, Galois connections, and lattices.