Just throwing an idea out there to make working with memory variables slightly easier: I have lots of cases where I need to expand the same memory variable multiple times. Currently, I can do this using something like (m/sequence (m/and !a1 !a2) ...) . Would it be possible to introduce a new operator on the RHS to make this cleaner? I imagine something like:

(m/rewrite [1 2 3]
   [!a ...]
   [[(m/from-start !a) ...], [(m/from-start !a)...]]