Consider this:

protocol P {
	requires constructor implements protocol {
		requires foo;
	}
}

Where does the symbol foo generates live on? Does it generate a P.foo? There should be an easier way to access it than Protocol.describe(P).constructor.implements.foo…

If you answered "it generates a P.foo", then how about this:

protocol P {
	requires foo;

	requires constructor implements protocol {
		requires foo;
	}
}

Are these the same P.foo?
In the previous design they did (static foo and foo both used the same symbol).