型関係の用語の(再)定義

新しい用語を導入しないと辛い。

• 型項 -- 型の構文的な表現、概念的には無限かもしれないGornツリー。
• 型制約 -- 型の等号、不等号、論理AND、論理OR、全称を含む論理式（formula）
• 連言的型制約 -- 論理ORを含まない型制約
• 原子型制約 -- 等号または不等号をひとつだけ含む論理式
• 非対称単一化 -- 等号ではなくて不等号（⊆）に関する単一化
• 最汎事前制約 -- 非対称単一化の結果、most generic preconstraints
• 型具体化 -- 型変数と型定数の対応、またはそれによる型代入行為
• 型項のp成分 -- pをパスとして、型項をGornツリーと見てのp-サブツリーで与えられる型。T[p] と書く。