fix(noUndeclaredVariables): bind read in ambient context to import type

[Conaclos]

Summary

Fix #4526 and fix #4547

The semantic model now tracks if the traversed node is in an ambient context not.
The scope registers if it is in ambient context to properly restore the information once we leave a scope.

When we are in an ambient context we emit AmbientRead instead of Read.
This allows us to bind ambient read to type-only imports.

Test Plan

I added some tests.

[github-actions]

Parser conformance results on

js/262

Test result	main count	This PR count	Difference
Total	48594	48594	0
Passed	47402	47402	0
Failed	1192	1192	0
Panics	0	0	0
Coverage	97.55%	97.55%	0.00%

jsx/babel

Test result	main count	This PR count	Difference
Total	40	40	0
Passed	37	37	0
Failed	3	3	0
Panics	0	0	0
Coverage	92.50%	92.50%	0.00%

symbols/microsoft

Test result	main count	This PR count	Difference
Total	6586	6586	0
Passed	2208	2208	0
Failed	4378	4378	0
Panics	0	0	0
Coverage	33.53%	33.53%	0.00%

ts/babel

Test result	main count	This PR count	Difference
Total	680	680	0
Passed	608	608	0
Failed	72	72	0
Panics	0	0	0
Coverage	89.41%	89.41%	0.00%

ts/microsoft

Test result	main count	This PR count	Difference
Total	18608	18608	0
Passed	14263	14263	0
Failed	4345	4345	0
Panics	0	0	0
Coverage	76.65%	76.65%	0.00%

[ematipico]

Just a nit

[ematipico]

Can we document all the new types an fields?

[Conaclos]

They are not new, I just encapsulated them in a type to make it simpler to read.

[Conaclos]

I added some doctests.