型理論で使われる用語が特殊でしかもバラツキがあるので、「型推論に関わる論理の概念と用語 その1」あたりから少しはまとめようとしました。その後も、型理論に関する解説論文などを極めて散発的／断片的に見ているのですが、さらに、型フレーム（type fram…