型の方程式