Normal-order syntax-rules and proving the fix-point of call/cc

CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc

I do want to talk about #NormalOrder evaluation in #programming languages, but I'm just too #lazy.