If the claims made by the authors for their new intensional language are borne out by further research, then this is a very important addition to the literature on the foundations of semantics for natural language.-Francis Jeffry Pelletier, Simon Fraser University
this is not true for natural language, where conjunctions, verbs, and pretty much any functional term that accepts arguments at all can accept arguments of different types.