Use updated go/types with go/exact