Transforms this LambdaNet in such a way that its represented lambda term
"t" is replaced by the abstraction "\x.t", where "x" is bound to the
given variable of "t".
Transforms this LambdaNet in such a way that its represented lambda term
"t" is replaced by the abstraction "\x.t", where "x" is bound to the
given variables of "t".
Transforms this LambdaNet in such a way that its represented lambda term
"t" is replaced by the application "tu" where "u" is the lambda term
represented by the given LambdaNet.
Transforms this LambdaNet in such a way that its represented lambda term
"t" is replaced by the application "(t^n)u" where "u" is the lambda term
represented by the given LambdaNet and "n" an exponent.