Title: On the theory of types