Weird new syntax for atoms, plus new type of term: Concat.
Make scanner switching lexically scoped, because when it's dynamically scoped... that way lies madness.
Syntax for rule-based-rules(?); start of roll-your-own-scanner.