The documentation says:
----------------------------
The Connect IQ type checker is disabled by default and is enabled with the -l
compiler option. There are four levels of type checking:
- Silent - No type checking; keep everything dynamically typed
- Gradual - Type check any statement where typing can be inferred, otherwise stay silent
- Informative - Type check only what has been typed, warn about ambiguity
- Strict - Do not allow compiler ambiguity
----------------------------
But the corresponding -l options are 0, 1, 2, 3.