Refinement & Query support for dereference and accesses into inline entities and nullables

[shans]

(from b/174612477)

This should include support for a dereference operator / function as well as . dot/accessor operators into entities and references.

There should also be some consideration of the interaction with type checking.

An additional ?. operator may be useful.