(refs #7042) Added a new compiler optimization (eta-reduce)

Adds new optimization to SCL compiler that transforms the following code
    \someParameters = f someOtherParameters someParameters'
to
    f someOtherParameters
with the following restrictions:
* someParameters and someParameters' are lists of equal variables
  or the type is ()
* someOtherParameters does not refer to variables in someParameters
  or the lambda expression itself or something depending on it
  recursively

[PRIVATE-13082]

Change-Id: I0e666771c72128ab73b0e46af727236ba4811080