Suggestion: to implement "Define" to work also for a local function

[Wiljea]

I noticed that the "Define" command is not yet implemented. It would be interesting if it could also be implemented as a local function (rather than via a global variable). This would require a new "LocDef" command, or alternatively, it could be done implicitly within a program via the "Create Local" operator "→":
      « 'expression' → Newf(x; y; z) « "Main program" » »
so that the function call in the main program would be made numerically using       'Newf(x; y; z)' Eval.
This would be consistent with the algebraic usage paradigm. Note that this type of dummy assignment of a local function is actually already available using the "|" ("Where") command:
      'expression in x' x₀ « → Newf x₀ « ... 'Newf|x=x₀' Eval ... » »
my suggestion would simply provide a more intuitive notation, in my opinnion.