Change default inference from arrays to tuples and primitives to literals

I am working on functional project now and I'm getting a lot of errors related to too wide type inference for values. It looks like

function test(a: { data: 1 | 2 }) { return a }
const a = { data: 2 }
// Types of property 'data' are incompatible.
// Type 'number' is not assignable to type '2'.ts(2345)
const b = test(a)

There're really many errors like this, and the main problem is that you can convert type A to type B, but not vice versa.

type A = { data: 2 }
type B = { data: number }

So, I ask you to add a new compiler option (to not break existing code) that will make type checker infer types as narrow as possible. It will be very helpful for functional programming.

Inizia esaminando la documentazione del type checker di TypeScript e delle opzioni del compilatore, usando come comportamento previsto gli esempi dell'issue relativi ad array, primitivi e inferenza dei literal. Definisci prima l'ambito dell'opzione e le regole di compatibilità; il lavoro è completo quando l'inferenza ristretta richiesta funziona senza modificare il comportamento esistente quando l'opzione è disabilitata.