Disabling the QLS type checker because it's broken.
Remove old proposed (and mingled) syntax
Refactoring.
Extracted messages to a separate module.
Unit tests for semantic checker are added as well.