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.

Beginne mit der Durchsicht der Dokumentation zum TypeScript-Typchecker und zu Compiler-Optionen und verwende die Array-, Primitiv- und Literal-Inferenz-Beispiele des Issues als erwartetes Verhalten. Lege zuerst den Geltungsbereich und die Kompatibilitätsregeln der Option fest; als abgeschlossen gilt die Aufgabe, wenn die angeforderte enge Inferenz funktioniert, ohne das bestehende Verhalten zu ändern, wenn die Option deaktiviert ist.