This revision makes concrete use of 0-d vectors to extend the semantics of
nit: wrap the line
LGTM. Just one minor question. Thanks!
Would it be ok to use %b with a 1D vector? Could we add a test for that either to invalid or here depending on the answer?
Rebase past windows build error.
Address comments and fix bugs.