A `BoundElement' is bound in a certain scope `scope', which keeps track of the actual element that
`el' stands for.
A `BoundElement' is represented textually by its bound element, followed by its scope's `id'.
For example: `x@1' represents the variable `x' that is bound in the scope with `id' `1'.
@invar scope.binds(el)