. . . "... a priori distinction between terms and types, and furthermore between types and propositions, we use all these notions synonymously." .