Implemented work-sharing!

The evaluation of two references to one expression only evaluates the expression once!  And it even works with
recursion!