[type checker] Implemented type checking of label and exit expressions. [tests] Moved 5 static tests from not_working_static_tests/ to compiler_tests/
