#227 CIF type checker: warn for convoluted references to addressables of edges of automata

• Best to review per commit.
• The CIF type checker now warns for all convoluted references to addressables in updates of edges of automata, regardless of whether the reference is via a component instantiation or component parameter or not.
• Note that if the reference is invalid (for instance to an object that may not be assigned, is not declared in the same automaton, etc), we get both an error and a warning.

Addresses #227 (closed)