Sees/Uses/Includes/Extends: Check for name collisions and cycles

[JonnyWalker]

There is no test of e.g. self-include or name collisions e.g. two machines with an operation of the same name.