analyser: extracted type checking code to TypeChecker class
analyser: refactored ScopeResult into single word
analyser: extracting file dependencies into xml file