Schröder's anticipation of the simple theory of types