関数 defNamesOf

グローバルIDを識別子へ戻す窓口（DefNames）を、Codexの名前空間の上に作る。

値をどう見せるかは読み手が決めるので、シンボル型かどうかだけをCodexへ訊いて、書き表し方は こちらで決める（Codexは表示の語彙を知らない）。