In Penknife, changed an internal calling convention, so that the thread of imperative side effects is now passed around like a linear resource. Used this to prohibit definitions during macroexpansion.