fix diff
TypeSystemComponent: use immutable collections for additionalNodes
TypeSystemComponent: use queue instead of frontier
TypeSystemComponent: extract local var - incrementalMode
DependenciesContainer: use Collection instead of Set, package local visibility for methods
remove typesystem dependency initializer->VarDeclaration
Wrap check-only inequalities in !isSingleTypeComputation
Regenerate baseLang typeSystem
regenerate
regenerate
Fix generator to avoid warnings
Merge branch 'typesystem_experiments' into master2

Conflicts:
	core/typesystemEngine/source/jetbrains/mps/newTypesystem/TypeSystemComponent.java
	core/typesystemEngine/source/jetbrains/mps/typesystem/inference/DependenciesContainer.java
	languages/baseLanguage/baseLanguage/languageModels/typesystem.mps
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/RulesFunctions_BaseLanguage.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeOf_ConceptFunction_InferenceRule.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeOf_ForeachStatement_InferenceRule.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeof_BaseAssignmentExpression_InferenceRule.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeof_FieldReferenceOperation_InferenceRule.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeof_InstanceMethodCallOperation_InferenceRule.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeof_LocalInstanceFieldReference_InferenceRule.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeof_SwitchCase_InferenceRule.java
	languages/baseLanguage/baseLanguage/source_gen/jetbrains/mps/baseLanguage/typesystem/typeof_VariableDeclaration_InferenceRule.java
	languages/baseLanguage/closures/source_gen/jetbrains/mps/baseLanguage/closures/typesystem/typeof_CompactInvokeFunctionExpression_InferenceRule.java
	languages/baseLanguage/closures/source_gen/jetbrains/mps/baseLanguage/closures/typesystem/typeof_InvokeExpression_InferenceRule.java
	languages/baseLanguage/closures/source_gen/jetbrains/mps/baseLanguage/closures/typesystem/typeof_InvokeFunctionOperation_InferenceRule.java
	languages/baseLanguage/collections/source_gen/jetbrains/mps/baseLanguage/collections/typesystem/typeof_AsSynchronizedOperation_InferenceRule.java
	languages/baseLanguage/collections/source_gen/jetbrains/mps/baseLanguage/collections/typesystem/typeof_AsUnmodifiableOperation_InferenceRule.java
	languages/languageDesign/checkedName/source_gen/jetbrains/mps/lang/checkedName/typesystem/typeof_PropertyRefExpression_InferenceRule.java
	languages/languageDesign/findUsages/source_gen/jetbrains/mps/lang/findUsages/typesystem/typeof_ExecuteFindersGetSearchResults_InferenceRule.java
	languages/languageDesign/generator/languages/generationParameters/source_gen/jetbrains/mps/lang/generator/generationParameters/typesystem/typeof_DefaultGeneratorParameter_InferenceRule.java
	languages/languageDesign/make/languages/facet/source_gen/jetbrains/mps/make/facet/typesystem/typeof_ResourceSpecificPropertiesExpression_InferenceRule.java
	languages/languageDesign/make/languages/script/source_gen/jetbrains/mps/make/script/typesystem/typeof_BeginWorkStatement_InferenceRule.java
	languages/languageDesign/make/languages/script/source_gen/jetbrains/mps/make/script/typesystem/typeof_DoneWorkStatement_InferenceRule.java
	languages/languageDesign/plugin/source_gen/jetbrains/mps/lang/plugin/typesystem/typeof_AddActionStatement_InferenceRule.java
	languages/languageDesign/plugin/source_gen/jetbrains/mps/lang/plugin/typesystem/typeof_ButtonCreator_InferenceRule.java
	languages/languageDesign/plugin/source_gen/jetbrains/mps/lang/plugin/typesystem/typeof_PopupCreator_InferenceRule.java
	languages/languageDesign/plugin/source_gen/jetbrains/mps/lang/plugin/typesystem/typeof_ToolbarCreator_InferenceRule.java
	languages/languageDesign/refactoring/source_gen/jetbrains/mps/lang/refactoring/typesystem/typeof_AskBooleanExpression_InferenceRule.java
	languages/languageDesign/refactoring/source_gen/jetbrains/mps/lang/refactoring/typesystem/typeof_ExecuteFindersExpression_InferenceRule.java
	languages/languageDesign/refactoring/source_gen/jetbrains/mps/lang/refactoring/typesystem/typeof_ModuleTarget_InferenceRule.java
	languages/languageDesign/resources/source_gen/jetbrains/mps/lang/resources/typesystem/typeof_IconResourceDeclaration_InferenceRule.java
	languages/languageDesign/smodel/languageModels/behavior.mps
	languages/languageDesign/smodel/source_gen/jetbrains/mps/lang/smodel/typesystem/typeOf_LinkList_AddNewChildOperation_InferenceRule.java
	languages/languageDesign/smodel/source_gen/jetbrains/mps/lang/smodel/typesystem/typeOf_Link_SetNewChildOperation_InferenceRule.java
	languages/languageDesign/smodel/source_gen/jetbrains/mps/lang/smodel/typesystem/typeof_NodeAttributeAccessQualifier_InferenceRule.java
	languages/languageDesign/smodel/source_gen/jetbrains/mps/lang/smodel/typesystem/typeof_SEnum_MemberForNameOperation_checkArg_InferenceRule.java
	languages/languageDesign/smodel/source_gen/jetbrains/mps/lang/smodel/typesystem/typeof_SEnum_MemberForValueOperation_checkArg_InferenceRule.java
	languages/languageDesign/typesystem/source_gen/jetbrains/mps/lang/typesystem/typesystem/typeOf_IsSubtypeExpression_InferenceRule.java
	languages/languageDesign/typesystem/source_gen/jetbrains/mps/lang/typesystem/typesystem/typeof_PrintToTrace_InferenceRule.java
	languages/util/dates/source_gen/jetbrains/mps/baseLanguage/dates/typesystem/typeof_DateTimePropetyReferenceOperation_InferenceRule.java
	languages/util/dates/source_gen/jetbrains/mps/baseLanguage/dates/typesystem/typeof_DateTimeWithPropertyOperation_InferenceRule.java
	languages/util/dates/source_gen/jetbrains/mps/baseLanguage/dates/typesystem/typeof_MathDateTimeOperation_InferenceRule.java
	languages/util/dates/source_gen/jetbrains/mps/baseLanguage/dates/typesystem/typeof_ParseExpression_InferenceRule.java
	languages/util/dates/source_gen/jetbrains/mps/baseLanguage/dates/typesystem/typeof_RoundDateTimeOperation_InferenceRule.java
	languages/util/dates/source_gen/jetbrains/mps/baseLanguage/dates/typesystem/typeof_WithPropertyCompareExpression_InferenceRule.java
	languages/util/extensionMethod/source_gen/jetbrains/mps/baseLanguage/extensionMethods/typesystem/typeof_ExtensionMethodCall_InferenceRule.java
	languages/util/math/source_gen/jetbrains/mps/baseLanguage/math/typesystem/typeof_ArithmSymbol_InferenceRule.java
	languages/util/math/source_gen/jetbrains/mps/baseLanguage/math/typesystem/typeof_ExtrSymbol_InferenceRule.java
	languages/util/math/source_gen/jetbrains/mps/baseLanguage/math/typesystem/typeof_VectorInitializer_InferenceRule.java
	languages/util/uiLanguage/source_gen/jetbrains/mps/uiLanguage/typesystem/typeof_AddListenerOperation_InferenceRule.java
	languages/util/uiLanguage/source_gen/jetbrains/mps/uiLanguage/typesystem/typeof_RaiseInternalStatement_InferenceRule.java
	languages/util/uiLanguage/source_gen/jetbrains/mps/uiLanguage/typesystem/typeof_RemoveListenerOperation_InferenceRule.java
	languages/util/ypath/source_gen/jetbrains/mps/ypath/typesystem/typeof_TreePathAdapterExpression_InferenceRule.java
	plugins/execution-languages/languages/deprecated/source_gen/jetbrains/mps/execution/configurations/deprecated/typesystem/typeof_ConfigurationEditorDeclaration_InferenceRule.java
	plugins/execution-languages/languages/deprecated/source_gen/jetbrains/mps/execution/configurations/deprecated/typesystem/typeof_ExecutionConsoleStatement_InferenceRule.java
	plugins/execution-languages/languages/deprecated/source_gen/jetbrains/mps/execution/configurations/deprecated/typesystem/typeof_ProcessHandlerStatement_InferenceRule.java
	plugins/execution-languages/languages/deprecated/source_gen/jetbrains/mps/execution/configurations/deprecated/typesystem/typeof_ProcessStatement_InferenceRule.java
	plugins/execution-languages/languages/deprecated/source_gen/jetbrains/mps/execution/configurations/deprecated/typesystem/typeof_ReportErrorStatement_InferenceRule.java
Inline variable
Revert "Inline variable"

This reverts commit cc01a86cc4aae36ea72f41de215f42e517c0413c.
Regenerate
Regenerate