Tue Mar 18 13:29:05 EDT 2008


control operations are things that access the data stack, and are able
to apply functions to state, collect state, etc.. without having
access to the state themselves.

maybe this is a nice occasion to start using structure types and a
modified match with

(struct <tag> (<var> ...)) -> (<tag> <var> ...)