working parser, working evaluation for ForAll, Exista, Unary and Binary