A Formulation of the Simple Theory of Types