Mehrfach-Abstraktion/Applikation

Desugaring durch Ersetzungsregeln:

(abs []     b) -> b
(abs (x:xs) b) -> (lam x (abs xs b))

(f []    ) -> f
(f (x:xs)) -> ((app f x) xs)

nützliche Abkürzung für primitive Operationen:

(prim + 3 4) -> (@+ 3 4)