Tools for lazy and non-standard evaluation
