Search should find lifting as instantiation

[stephan]

When searching for references to a role type it should be possible to narrow the search result to all locations that (potentially) create a role instance. In particular this means that all occurrences of lifting must be treated as instantiations.

Once this is in place, that call hierarchy should find lifting occurrences when it is seeded by a role type (=control flows instantiating the role type).

[stephan]

Definitely want this no later than 1.3.0, maybe sooner.

[stephan]

r21579 contains tests and implementation regarding

• declared lifting
• role parameters in callin
• (callout return should work, too - untested)

[stephan]

Further improvements are in r21580, r21581, r21582, r21583 and r21591.

Notably, corresponding tests can be found in OTJavaTypeSearchTests