Changed the name of modal.py to structure.py. It contains classes and functions related to modal structures (modles and frames).
Added syntax.py. It contains functions and classes related to the modal language. The function make_tableau converts a string in a modal language to a nested list structure. It still needs some debugging.
Merge branch 'master' of github.com:winobes/modal-logic