@allxy Skimming through your earlier conversation, I didn't entirely follow because I'm not super familiar with combinators, but some of the scoping issues you're talking about probably
can be addressed by putting the literal function into an expression and eval'ing it. Possibly
substitute
or something like it could be useful.