Better error for bad polymorphic dotted applications.

Also some exploration on the limits of inference with dotted
functions. See comments in CTYP-29.