[kisoron-ml] orthomodular-valued set theory