Make cgen/seq for lists be used more often.
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.

Closes PR 14576.
Closes PR 14577.
Closes PR 14579.
Closes PR 14580.