A formulation of the simple theory of types — news, coverage & facts — IJR