Member predicate Impl::Type::getABaseType

Gets any base type of this type. Expands protocols added in extensions and expands type aliases. For example in the following code, B has base type A:

typealias A_alias = A

class B : A_alias {}