Removes a redundant supertype qualification from a super expression.