I did see that comment but it was the postscript code you mentioned in your post which evoked concatenative question :-) I have, perhaps, a naïve internalisatio

I did see that comment but it was the postscript code you mentioned in your post which evoked concatenative question :-) I have, perhaps, a naïve internalisation of the reduction steps in something like Forth having the same shape as function application as an elimination step.