Realisierung

nach closure conversion sind alle Abstraktionen geschlossen, diese müssen nur noch aufgesammelt und eindeutig benannt werden.

Syntax-Erweiterung:

(program (a_1 .. a_n)
  -- body:
  (let ( ... ) ...) 
  -- ab hier neu:
  (def sub0 (abs (...) body0))
  ...
)

dann in body* keine Abstraktionen gestattet