A formulation of the simple theory of types - latest news, discussion & facts - IJR