型付き代入補題