Improve semantic checks in VisitRetrieve

[ewoutkramer]

The Visitor for the Retrieve takes both the contextIdentifier (which should be a resolvable identifier) and codePath at face value, while the compiler should verify the validity of both.