Revise handling of implied uses in topologies

[bocchino]

This PR revises the way that framework types are checked and the way that implied uses of framework types are discovered and enforced. The old way was ad-hoc and not quite right. The new way is more systematic and is properly integrated with the rest of the spec and implementation.

1. Update the spec
2. Update the algorithms and data structures on the wiki
3. Revise the algorithm implementations
4. Add and revise unit tests

Closes #738.

Review

@LeStarch Can you take a look at the specification of the framework definitions in the spec?

Future Work

There are more framework definitions to add (enum types, constant defs). We can add those when we complete #729. We can follow the pattern established here.

[jwest115]

I have one question but looks good! Thank you!