Design analysis pass(es?) to determine IsGloballyCoherent and HasCounter

[bogner]

The IsGloballyCoherent and HasCounter properties of resource handles need to be inferred based on how a resource is used. We
need agreement on a design for how the analyses to determine these things should work.

AC:

• a proposing describing the plan