Formulas are now encoded as tuples.
Merge branch 'basic_modal_logic' of github.com:winobes/modal-logic into basic_modal_logic