The Theory of Logical Types