Semantic Analyser: Fixed encoding.
Semantic Analyser: Detect “break outside of loop”
Semantic Analyser: Detect “type of return”
Semantic Analyser: Added simple type checks