Truth-Value Semantics for the Theory of Types