Now using basic Kripke frames with one binary relation between worlds.
Now using basic modal language (one unary modal operator and its dual). Also, the parsing function now works.
Fixed Model.__repr__.
Added formula parsing to example.