Faceted evaluation instrumentation of a lambda calculus with references