Motivation

Das geht bisher gar nicht:

(let ((f (lam x (if (@= x 0) 
                    1 
                    (@* x (app f (@- x 1)))) )))
     (app f 3) )

(Bezeichner f ist nicht sichtbar)

Lösung:

( (rec f (lam x (if ... (app f ...)))) 3)

mit neuem primitiven Knotentyp rec