Eliminate need for annotations for "with_axiom".
Get context-sensitive rules and branching working.
Add support for parameterized L-systems.
