Add [,,,|Rest] syntax support to parser
Strictify Main.Driver configuration fields

Notably, this improves handling of some invocation errors, as it forces
things earlier.
Remove defaults from operator parser

(Some unit-tests keep them on for the moment)
Wire up oper pragmas.

They're a little unpleasant, but it works.  While here, correct the
documentation.