Scaling Trees

• The simple tree idea doesn't scale because

• 1) you need annotations, eg to relate subtrees to source positions, to report error messages

• 2) it doesn't cope well with variables and scopes, for example \x->x+1 in Haskell