Ensure that IF guards return a boolean type.
Improve error messages, implement EXIT, LOOP and WHILE handling.