finish tautology parser w/ lexer