SI-3346 implicit parameters can now guide implicit view inference

This simple patch makes it possible for implicit views to benefit from
fundep-guided type inference, eliminating a nasty special case in
implicit inference.

We still cannot have Jason's workaround to type constructor inference,
but now this patch still represents a coherent unit of progress, because
implicit views are now working consistently, the errors reported in
Jason's examples are no longer spurious.