従来からのCaty用語も整理。TYPEを型（の意味）全体の集合、Mを計算モデル圏とする。 コマンド -- プロファイルと実行ボディの組。名前を持つか持たないかは理論上は重要ではない。 プロファイル -- 同一の型変数スコープ内に置かれた2つの型項のタプル ネイ…