We now define semantics of a phrase represented
by a derivation. It is a different interpretation
of the phrase and its types.

We first interpret syntactic types (NP, VP, etc)
in terms of the types of the language of
logic formulas.
The type class Lambda defines the language
of logic formulas (STT, or higher-order logic)
with types Entity, Bool, and the arrows.