Memoize variables when they are evaluated.

Memoization for *all* variables is cleared when *any* variable is redefined.