Symbols to exclude: Here these are constructors and private/artifact symbols, including bridges.
Symbols to exclude: Here these are constructors and private/artifact symbols, including bridges. But it may be refined in subclasses.
Types always match.
Types always match. Term symbols match if their member types
relative to self
match.