By-need evaluation (?)

[robrix]

Evaluating graphs should have by-need (lazily memoizing) semantics: evaluation of a parameter in a graph should cause it to produce the actual value, but no sooner.

On the other hand, this may be less of a thing if Tess is total; that’s the case for Idris for example.