Include TypeSearchList in all RTTI; fix wildcards

This adds support in the runtime for wildcard types, by including a
TypeSearchList inside every RTTI block, which allows wildcard type
bounds to be checked wherever they are encountered.

This removes the distinction between pure and instance RTTI, making all
RTTI into just normal RTTI.