refactor(Modal, Prop): Remove explicit `List.conj₂` and `List.disj₂`#350

SnO2WMaN wants to merge 1 commit intomasterFormalizedFormalLogic/Foundation:masterfrom

remove-conj2-modalFormalizedFormalLogic/Foundation:remove-conj2-modalCopy head branch name to clipboard