TODO

Execution Model

Variable Declaration and Scope

Name Resolution Rules

Control Flow Semantics

Truthiness

if / else

while / do

Numeric for (iteration semantics, step edge cases)

Generic for (iterator protocol)

break / continue / return