Specify member type derivation with promoted type variables

Given that `X & S` can be the type of a receiver `e` in an expression that accesses a member (say, `e.m = 17` or `e.m(42)`), we need to decide on how to determine whether that member exists and which type it has. This should be handled in the specification of the static type of each of the relevant syntactic forms.