Correctly instantiate poly dots during inference.

This removes the need for the cache of type variables for instantiating
dotted variables, because we instantiate the uses at once.