Change loop kind to only have either pre or post check
Those are understood as continue conditions (as most language only have
continue conditions) and can be trivially converted to stop conditions
(negation)
Introduce a GlobalScopeExpression
It can e.g. represent the "::" without prefix in C++