Changed the grammar such that Variables can occur in arithmetic expressions.
Made a framework for built-in predicates. Altered the existing 'is' implementation to use the new framework. Altered the evaluation code to instantiate variables. Added support for the atomic predicate.