[ sharing ] ignoreSharing missing at places in instance search
[ instance ] allow metas in instance target if they are fixed by types

Typically: level metas
[ instance ] check candidates for equality in local TC state