 &gt; (i.e., roughly, there are in its intended semantics objects of every
&gt; &gt; finite order, and, in its language, variables that range over each
&gt; &gt; order),
&gt;
&gt; MW: You definitely lost me!

Does the above help?

&gt; (aside: did you hear about the baseball pitcher who complained to his
&gt; interviewer that the problem he had with the press was that they
&gt; printed what he said, not what he meant?)

Yeah, I hate it when that happens!

&gt; &gt; The untyped lambda calculus (developed in 