A Formulation Of The Simple Theory Of Types