[Openid-specs-ab] OpenID4VCI: W3C VC based formats and 'types' vs 'type'

[Pedro Felix]

Hi,

Just a minor detail about the use of the "types" field on the W3C VC
based formats:
- The W3C data model uses "type" (singular) -
https://www.w3.org/TR/vc-data-model/#types. This field is defined in
the standard JSON-LD context present at
https://www.w3.org/2018/credentials/v1
- However the OpenID4VCI spec is using "types" (plural), for
jwt_vc_json, jwt_vc_json-ld, and ldp_vc (e.g.
https://openid.net/specs/openid-4-verifiable-credential-issuance-1_0.html#section-e.1.3.2).

1) Is this difference intentional? Note that when using JSON-LD
processing, "type" will be well-defined (it is defined on
https://www.w3.org/2018/credentials/v1 as an alias for "@type") but
"types" isn't.

Thanks.
Regards,
Pedro