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