#4 Access rules filtered by reference type

[Paul Cantrell]

Access rules should be able to distinguish different kinds of references from one class to another; for example, a rule should be able to limit class X from using class Y in the signature of any public or protected method, but allowing the use of Y as an implementation detail.