Move errors about break/continue/label statements to the syntax pass.
Add syntactic checks for return statements.
Adding conformance tests.
Simplify expression parsing.