Evaluation Extensions

Stella uses the lazy evaluation strategy by default, meaning that expressions are not evaluated until their values are strictly needed. This helps avoid repeated or unnecessary computations by storing the expression in a thunk that gets evaluated when the value is needed.