Fixing issue with anding predicates.
Simplifying predicates for add.
Fixing store test.
Adding numbers.
Adding number and constant integer parsing.