身につけたときに占める場所（covers / layer、GameElementDefinition.md 7.5節）。 同じ部位の同じ階層は1つしか占められないという不変条件を持つのはこの型で、衝突するかを 答えるのもこの型自身。枠の側は「衝突する物が既に入っているか」を訊くだけでよい（Slot）。
covers
layer
部位は複数、階層は1つ。片方だけの宣言は意味を成さない（部位の無い階層は誰とも重ならず、 階層の無い部位はどの段で重なるかを言えない）ので、対でしか作れない。
読み取り専用
重ね着の階層（タグの名前空間のID）。部位と同じ名前空間に置くのは、どちらも場所を言う語で あって物の値ではないため——プレイヤーに見せる値（天気・季節）はシンボルの名前空間に居り、 あちらには表示名が要る。
覆う部位（タグの名前空間のID）。空にはならない。
otherと同じ場所を奪い合うか。同じ階層で、覆う部位が1つでも重なっていれば衝突する。 場所を持たない相手（undefined）とは衝突しない——受け取る側で分岐させないための受け口。
身につけたときに占める場所（
covers/layer、GameElementDefinition.md 7.5節）。 同じ部位の同じ階層は1つしか占められないという不変条件を持つのはこの型で、衝突するかを 答えるのもこの型自身。枠の側は「衝突する物が既に入っているか」を訊くだけでよい（Slot）。部位は複数、階層は1つ。片方だけの宣言は意味を成さない（部位の無い階層は誰とも重ならず、 階層の無い部位はどの段で重なるかを言えない）ので、対でしか作れない。