Add failing test for getfield in tag position of getfield
Test: getField inferred val should be hole unless getting field of definition-ref (and later, a rigid value)
GetFields, not only Applies, should be circumsized