名前空間構造

構文側：

1. パッケージ名前空間
   1. 0次： コンテナ名〈モジュール名〉
   2. 1次： コネクタ名〈ビュー名〉
2. コンテナ名前空間
   1. 0次： 指標名
   2. 1次： 手続き名
3. 指標名前空間
   1. 0次： ソート名
   2. 1次： オペレーション名
   3. 2次： 2-オペレーション名
   4. (n + 1)次： 等式名

モデル側：

1. ワールド名前空間
   1. 0次： n-圏名
   2. 1次： 0-変換手名
   3. l次： (l -1)-変換手名
2. n-圏名前空間
   1. 0次： 0-射名
   2. 1次： 1-射名
   3. k次： k-射名

構文からモデルを作る構文（変換手意味論）

1. 0-CatOf n-指標 ＝ ClassOf n-指標
2. 1-CatOf n-指標
3. 2-CatOf n-指標
4. …