swift234

[SR-547] Invalidate more parts of protocols involved in recursive definitions

The idea here is to do more marking of the generic parts of the
protocol as being invalid as soon as the recursiveness is diagnosed in
order to simplify checking (and avoid infinite loops) down the line.