[m-rev.] for post-commit review: print more info for foreign types

[Matthias Güdemann]

Hi,

> is fine.  I think the type name should be module qualified and you
> probably also want to include its arity, since things like the
> following are possible:

I agree, that arity would be helpful. For the module qualification,
would it be possible to limit to types which can be ambiguous?

In any case, I find this is really helpful, in particular together with
passing arguments to queries.

Matthias