Aligned relations type-methods and aspect-super+ in terms of type
erasure and itds.