[logic-ml] Stone-type duality