Implement let.Evaluation

This is needed to evaluate Let expressions. And was really easy to implement.
But no tests included (that's OK enough for now).
Automate all manual testing I did

This is all of the testing I did by hand during development with the worksheet.
(I had to fix an overload ambiguity for this, for some reason).

In addition, I also check that all these transformations preserve the evaluation
result.