credits and comment: based on this js version by ishanpm of my chemlambda v2, see issue 9. The first two examples are proposed in issue 8. This rewrite system is a first variant of anharmonic lambda, or kaleidoscope, which is different from chemlambda v2. The goal is to find a version which contains both chemlambda v2 (perhaps slightly modified) and em-convex
(my pages to play and learn)
    (stops at max. number of nodes 2048)

CODE:
MOL NOW:

MOL AFTER:

before:

chosen:

after: