Do we add multiple types to a Coding shape?

[ericprud]

When uncurrying value type from predicates, we need to add a type to any datatype they may reference.

<Obs1> :Observation.effectivePeriod [ :start "2022-02-02T02:22:22Z"^^xsd:dateTime ]

=>

<Obs> :Observation.effective [ a fhir:Period ; :start "2022-02-02T02:22:22Z"^^xsd:dateTime ]

Codings already need a type arc 'cause we add one for OWL logic:

<Obs1> :Observation.code (
  [ a sct:1234567 ; :system "...snomed..." ; :code "1234567" ]
) .

Do we add multiple types to a Coding shape?

<#Coding> {
  a [fhir:Coding] ? ; # might have type fhir:Coding
  a IRI ? ;           # might have some other type derived form system and code
  fhir:system . ? ;
  fhir:code .
}