go/types, types2: switch to using new type inference exclusively

[griesemer]

CL 464341 (pending) introduces a simpler (and likely faster) type inference algorithm. During development we also run the old algorithm and compare the results so we find problems early.

This is a reminder issue that we need to run only the new implementation (assuming it holds up) before the release.

cc: @findleyr