* Old TypeSystem project renamed to TypeExperiments
* Implemented new TypeSystem for usage with Analyzing machine
* Method resolving was refactored out of Analyzing machine