review semantics of path expressions

I need to review section 5.1.6. "Path expressions" to check that it fully captures the semantics and resolution rules in the extended language.

I thought we already had an issue open for that, but apparently not.