Add a couple of examples in syntax-0
Separate general parsing utilities from parse-0
Allow symbol-encode to implicitly add new symbols
Cull interactive tests
Fix mentions-bvar? for produce terms