supertypesWithSubstitution

Get the supertypes of a type, substituting type parameters for their values where known and not *.

I.e. if you have class A<T>: B<T>, the supertype of A<Int> would be B<Int>, not B<T of A> like with superTypes.