lexically scoped deferred substitution interpreter