Beginnings of a lexer for propositional calculus