Fixed bug in caching TypeMap for wrong form
Added tests for QLS SemanticChecker