  Existing abstract models of quantum computation make reference to circuit
elements, much in contrast to their classical counterparts. Circuits, as a
model of computation, substantially limit algorithmic expression and obscure
high-level connections between problems and quantum resources. It is argued
here that new models are needed to achieve high-level algorithmic
expressiveness that allow composable procedural abstractions to manifest,
leading to the development of instructions in the sense usually understood in
high-level programming languages. Doing so appears essential to the discovery
of new quantum algorithms, and deeper understanding of how quantum resources
compose into useful patterns, or \emph{quantum motifs}. To achieve this,
stronger investment in the intersection between higher-algebra, mathematical
physics and quantum science is required to cope with future challenges brought
forth by \textit{very large quantum scale integration}.
