## Types to the rescue
Kaplan's solution is, in effect, to impose a type system on his
-grammar in such a way that structured meanings cannot be confused with
+grammar in such a way that complex structured meanings cannot be confused with
the referent of a directly-referential term. He suggests that the
meaning of a directly referential term always be marked by a special
bit of structure that is unique to direct reference. More concretely,