what about this: all scheme transformers are unary functions. nothing prevents me though to add binary functions to the transformer environment. these could then be reserved for calls from within 'next', because they don't fit the scheme transformer type. this so, because it's illegal to call them directly anyway: they use dynamic state set by the compiler macros. this seems to work pretty well.