(m-assumption-n-output-comb-transformlist-p x) recognizes lists where every element satisfies m-assumption-n-output-comb-transform-p.
(m-assumption-n-output-comb-transformlist-p x) → *
This is an ordinary deflist. It is
"strict" in that it requires