Adding first reasonable draft of the parser. This can parse basic propositional calculus expressions using equivalence, and, or, and not. It can also parse and apply substitutions, including simultaneous substitutions. The grammar uses peg.js (http://pegjs.majda.cz/).