fixup! Type inference draft.

Rebase fixes

Author: cameel

Diff for: libsolidity/experimental/ast/TypeSystem.cpp

@@ -138,7 +138,7 @@ TypeSystem::TypeSystem()
 	for (auto [type, name, arity]: std::initializer_list<std::tuple<PrimitiveType, char const*, size_t>>{
 		{PrimitiveType::TypeFunction, "tfun", 2},
 		{PrimitiveType::Function, "fun", 2},
-		{PrimitiveType::Function, "itself", 1},
+		{PrimitiveType::Itself, "itself", 1},
 		{PrimitiveType::Void, "void", 0},
 		{PrimitiveType::Unit, "unit", 0},
 		{PrimitiveType::Pair, "pair", 2},

Diff for: libsolidity/interface/CompilerStack.cpp

@@ -1475,9 +1475,6 @@ void CompilerStack::generateIR(ContractDefinition const& _contract)
 {
 	solAssert(m_stackState >= AnalysisSuccessful, "");
 
-	if (m_experimentalAnalysis)
-		solThrow(CompilerError, "IR codegen after experimental analysis is unsupported.");
-
 	Contract& compiledContract = m_contracts.at(_contract.fullyQualifiedName());
 	if (!compiledContract.yulIR.empty())
 		return;