型エイリアス TypeMatchReading

TypeMatchReading:
    | { kind: "tag"; tagGlobalId: TagGlobalId }
    | { kind: "object"; objectGlobalId: ObjectGlobalId }
    | { inner: TypeMatchReading; kind: "not" }

「どの型を指しているか」の読み上げ（TypeMatchRule.reading参照）。

型宣言

{ kind: "tag"; tagGlobalId: TagGlobalId }
候補がそのタグ（4.1節）を持っていれば真。
{ kind: "object"; objectGlobalId: ObjectGlobalId }
候補がまさにその型そのものであれば真。
{ inner: TypeMatchReading; kind: "not" }
innerが当てはまらない型（4.1節）。