予型論的解釈