lamda experimental gismu

x1 is a lambda function abstraction based on applying transformation x3 to body x2.

Coined by la .uakci. See also: "ka". Conflicts with "landa".