Scope

• Representing scoped identifiers is potentially complicated

• During transformations (eg lifting) each scope may expand or contract

• The problem seems more difficult in a functional setting where you can't point into symbol tables(s)

• Idea: use integer indexes, but avoid higher numbers for locals (which makes lifting hard) and avoid lower numbers for locals (which makes substitution hard