Validate subview mapping expressions

[Mobe91]

Subview mapping expressions only allow path / treat expressions. We should validate the expression and throw an expressive exception.

[beikov]

The implementation should be pretty simple, just run the PathTargetResolvingExpressionVisitor on the expression and throw an error if the target type is not a subtype of the subviews entity type.