Conformance suite: rewrite several tests regarding type-parameter defaults to not assume that type checkers will infer a class object as having a `type[]` type #1733