cnf: tweak spacing in grammar
cnf: copy edits, add types for array combinators, say the CNF program is in a host program