Evaluation-order walking example

* The example AST declarations have been moved around; we now have a
simple expression language as well as a language with statements.
* Some additional action combinators and patterns are included
(including testing for from-branch, arity and type)
* Do pattern matching of multiple patterns in a deterministic order
tweak generics
More stuff for the evaluation-order walk.