Simple theory of types