connections-0.3.2: Orders, Galois connections, and lattices.