型エイリアス GlobalId<Namespace>

ある名前空間（NameRegistry 1つぶん）が配るグローバルID。名前空間が違えば別の型になるので、 プロパティのIDを受ける宣言へスロットのIDを渡すと型で止まる。

素の number からこの型へ変わってよいのは NameRegistry の中だけ。 IDを作るのも名前から 引くのもそこ1箇所で、外から来た数（YAML・生成物・URL）は必ず名前を経由して入る。

名前空間を1つ足すときは、GlobalId<'その名前'> の別名をここに置き、配る側の NameRegistry を その別名で型付けする（NameRegistry<PropertyGlobalId>）。受け取る側の宣言は、そこから型推論で 埋まっていく。