Relationships between types

[ctzurcanu]

When TypeA is composed of component types, we need a way to know the 2 types of composition:
Composition by "has": TypeA has the right to insert (and manage) new instances into component types.
Composition by "link": TypeA does not have the right to insert new instances, but can choose between instances already managed by components.

[ctzurcanu]

Therefore:

struct Type1 {
        LangChoices lang;
        bool isEvent;
        bool isFunction;
        bool hasOutput;
        address contractAddress;
        bytes32 source;
        string name;
        string[] types;
    }

Should change to:

struct Type1 {
        LangChoices lang;
        bool isEvent;
        bool isFunction;
        bool hasOutput;
        address contractAddress;
        bytes32 source;
        string name;
        string[] types;
        string[] labels;
    }

with the requirement: types.length = labels.length
and if labels do not exist, types should be copied there with the concatenation of "_h" or "_l" (defaults to _h for "has")