modify to introduce > generic function
modify to introduce EXISTS generic function
fix parser
modify to introduce interval type
modify to reserve symbols +, -
modify to introduce <= and >= operators