wip
check semantics of 'for' statement
fix range_type
check 'while' and postfi 'if' statements' semantics