Self-types shouldn't count as super/sub types