Switched TextType.qlApplyFromProp to new style

It previously worked very "by-hand", and had gotten ferociously ugly.
Now uses Invocation properly.

This led to an important enhancement to Invocation, to allow calling
code to pro-actively declare the expected return type.  This is
necessary if the comprehension is empty, in order to avoid passing
UnknownType around.