[ID-Prep] PR1 - Simplify declaration emit for literal types.

[dragomirtitian]

Fixes #57443, #57441, #57442

[dragomirtitian]

The lack of this test is the reason for #57441

[weswigham]

This introduces bugs in incremental compilation - by not preserving the widening behavior of the literals (wherever possible), by creating an initializer whenever the type at the location is a widening type, you can create declaration files where, when you check against the declaration files, you witness the literal type, while when you check against the source file, you witness the widening type (and thus, the base type). We have open issues about other types where we don't correctly do this today (eg, for tagged templates), and this would make the problem hugely worse.

This cannot be a baseline change in the compiler. This absolutely has to be flagged off, if we take it at all. There is a meaningful difference between a = 1 and : 1 on a variable declaration - that some emit mode can't track the widening behavior of literals across declarations does not mean we should introduce buggy behavior for all users.

[dragomirtitian]

@weswigham Sorry it took a while to get back to this.

I changed the goal to just preserve the initializer node if possible. This should not change the meaning of the declaration.

It should also be a safe change to make. Even older versions of TypeScript will understand all of the primitive literal syntax, even if it was previously not present in declarations.