start example:  mini-Lisp grammar plus combinators, version 1 (non-transformers to point out omissions and motivate transformers)