### Variables ``` def foo [x: int] { $y + 1 } ``` will fail with `$y` being typechecked as "unknown" ### For loops
