connections-0.0.2: Partial orders & Galois connections.