[logic-ml] orthomodular-valued set theory