I have just added a section to the specification that informally describes the location semantics of the language. I'm sure that I messed some of it up, but in principle I don't think that there are any surprises in this section. shap