Extended language definition with axiom.
Updated Parser and ParseTree to support Axioms.