JS: Dynamic analysis benefits from type analysis.
Make maps JSON-serializable.
JS: Factorizing type analysis of literals.
JS: Read the type of array literals.
JS: go through global identifiers (window.|).
JS: transmit the globalIdentifier option.