diff --git a/CMakeLists.txt b/CMakeLists.txt
index f09ef35..c44c1f9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -4,9 +4,9 @@ project(LangInterpreter)
 
 set(CMAKE_CXX_STANDARD 17)
 
-find_package(Catch2 2 REQUIRED)
+# find_package(Catch2 2 REQUIRED)
 
-set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall")
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra -Werror")
 
 include_directories(include
                     tree-sitter/lib/src
diff --git a/include/execute_visitor.hpp b/include/execute_visitor.hpp
index 1f7097c..3e31aec 100644
--- a/include/execute_visitor.hpp
+++ b/include/execute_visitor.hpp
@@ -18,15 +18,13 @@ class ExecuteVisitor : public Visitor {
 public:
   explicit ExecuteVisitor(info::GlobalInfo& global_info,
                           info::ContextManager<info::type::Type, info::type::TypeManager>& type_context_manager,
-                          info::ContextManager<info::value::Value, info::value::ValueManager>& context_manager,
-                          interpreter::tokens::PartitionStatement* execution_root)
-    : namespace_visitor_(global_info.CreateVisitor()),
-      global_info_(global_info),
+                          info::ContextManager<info::value::Value, info::value::ValueManager>& context_manager)
+    : global_info_(global_info),
       typeclass_graph_(*global_info.GetTypeclassGraph()),
       type_context_manager_(type_context_manager),
       context_manager_(context_manager) {}
 
-  void VisitSourceFile(SourceFile* source_file) override {
+  void VisitSourceFile(SourceFile*) override {
     error_handling::HandleInternalError("VisitSourceFile unavailible", "ExecuteVisitor.VisitSourceFile");
   };
 
@@ -160,7 +158,6 @@ private:
     return maybe_internal_value_info.value();
   }
 private:
-  info::GlobalInfo::NamespaceVisitor namespace_visitor_;
   info::GlobalInfo& global_info_;
   info::TypeclassGraph& typeclass_graph_;
   info::ContextManager<info::type::Type, info::type::TypeManager>& type_context_manager_;
diff --git a/include/global_info.hpp b/include/global_info.hpp
index 2678cb3..ddcab00 100644
--- a/include/global_info.hpp
+++ b/include/global_info.hpp
@@ -121,7 +121,7 @@ public:
                                                     const std::string& type,
                                                     const std::string& name,
                                                     utils::IsConstModifier modifier) {
-      std::optional<utils::IdType> id = FindFunctionId(path, name);
+      std::optional<utils::IdType> id = FindMethodId(path, type, name, modifier);
       if (!id.has_value()) {
         return std::nullopt;
       }
diff --git a/include/types.hpp b/include/types.hpp
index 4ed3403..1b6cb04 100644
--- a/include/types.hpp
+++ b/include/types.hpp
@@ -62,7 +62,7 @@ public:
               utils::IdType type,
               utils::ClassModifier class_modifier,
               TypeManager* type_manager)
-    : type_id_(type_id), type_(type), type_manager_(type_manager) {}
+    : type_id_(type_id), type_(type), class_modifier_(class_modifier), type_manager_(type_manager) {}
 
   std::optional<utils::IdType> InContext(const std::unordered_map<std::string, utils::IdType>& context);
   bool Same(const DefinedType& type) const;
@@ -177,7 +177,7 @@ public:
     return constructors_;
   }
 
-  const void SetCurrentConstructor(size_t constructor) {
+  void SetCurrentConstructor(size_t constructor) {
     current_constructor_ = constructor;
   }
 
diff --git a/src/execute_visitor.cpp b/src/execute_visitor.cpp
index 11f5eb0..8b8363f 100644
--- a/src/execute_visitor.cpp
+++ b/src/execute_visitor.cpp
@@ -31,8 +31,8 @@ void ExecuteVisitor::Visit(Namespace* node) { // never used ??
 
 // Definitions -----------------
 
-void ExecuteVisitor::Visit(ImportStatement* node) {} // no value
-void ExecuteVisitor::Visit(AliasDefinitionStatement* node) {} // no value
+void ExecuteVisitor::Visit(ImportStatement*) {} // no value
+void ExecuteVisitor::Visit(AliasDefinitionStatement*) {} // no value
 
 void ExecuteVisitor::Visit(VariableDefinitionStatement* node) { // visited on function call
   Visitor::Visit(node->value);
@@ -42,17 +42,17 @@ void ExecuteVisitor::Visit(VariableDefinitionStatement* node) { // visited on fu
   is_const_definition_ = std::nullopt;
 }
 
-void ExecuteVisitor::Visit(FunctionDeclaration* node) {} // no value
+void ExecuteVisitor::Visit(FunctionDeclaration*) {} // no value
 
 void ExecuteVisitor::Visit(FunctionDefinitionStatement* node) { // visited on function call
   // Visit(node->definition.get());
   Visitor::Visit(node->value);
 }
 
-void ExecuteVisitor::Visit(TypeDefinitionStatement* node) {} // no value
-void ExecuteVisitor::Visit(AbstractTypeDefinitionStatement* node) {} // no value
+void ExecuteVisitor::Visit(TypeDefinitionStatement*) {} // no value
+void ExecuteVisitor::Visit(AbstractTypeDefinitionStatement*) {} // no value
 
-void ExecuteVisitor::Visit(TypeclassDefinitionStatement* node) {} // no value
+void ExecuteVisitor::Visit(TypeclassDefinitionStatement*) {} // no value
 
 void ExecuteVisitor::Visit(PartitionStatement* node) {
   Visitor::Visit(node->value);
@@ -60,7 +60,7 @@ void ExecuteVisitor::Visit(PartitionStatement* node) {
 
 // Flow control -----------------
 
-void ExecuteVisitor::Visit(TypeConstructorPatternParameter* node) {} // handled in TypeConstructorPattern
+void ExecuteVisitor::Visit(TypeConstructorPatternParameter*) {} // handled in TypeConstructorPattern
 
 // TODO: check
 void ExecuteVisitor::Visit(TypeConstructorPattern* node) {
@@ -100,7 +100,7 @@ void ExecuteVisitor::Visit(TypeConstructorPattern* node) {
   }
 }
 
-void ExecuteVisitor::Visit(MatchCase* node) {} // handeled in Match
+void ExecuteVisitor::Visit(MatchCase*) {} // handeled in Match
 
 void ExecuteVisitor::Visit(Match* node) {
   context_manager_.EnterContext();
@@ -497,7 +497,7 @@ void ExecuteVisitor::Visit(ReturnExpression* node) {
 }
 
 
-void ExecuteVisitor::Visit(TypeConstructorParameter* node) {} // handled in TypeConstructor
+void ExecuteVisitor::Visit(TypeConstructorParameter*) {} // handled in TypeConstructor
 
 // TODO: check
 void ExecuteVisitor::Visit(TypeConstructor* node) {
@@ -534,7 +534,7 @@ void ExecuteVisitor::Visit(TypeConstructor* node) {
 }
 
 // TODO
-void ExecuteVisitor::Visit(LambdaFunction* node) {
+void ExecuteVisitor::Visit(LambdaFunction*) {
   error_handling::HandleInternalError("Lambda function are not implemented yet",
                                       "ExecuteVisitor.LambdaFunction");
 }
@@ -686,19 +686,19 @@ void ExecuteVisitor::Visit(AnnotatedName* node) { // TODO: check
 
 // Type
 
-void ExecuteVisitor::Visit(FunctionType* node) {} // no value
-void ExecuteVisitor::Visit(TupleType* node) {} // no value
-void ExecuteVisitor::Visit(VariantType* node) {} // no value
-void ExecuteVisitor::Visit(TypeExpression* node) {} // no value
-void ExecuteVisitor::Visit(ExtendedScopedAnyType* node) {} // no value
+void ExecuteVisitor::Visit(FunctionType*) {} // no value
+void ExecuteVisitor::Visit(TupleType*) {} // no value
+void ExecuteVisitor::Visit(VariantType*) {} // no value
+void ExecuteVisitor::Visit(TypeExpression*) {} // no value
+void ExecuteVisitor::Visit(ExtendedScopedAnyType*) {} // no value
 
 // Typeclass
 
-void ExecuteVisitor::Visit(ParametrizedTypeclass* node) {} // no value
+void ExecuteVisitor::Visit(ParametrizedTypeclass*) {} // no value
 
 // Typeclass & Type -----------------
 
-void ExecuteVisitor::Visit(ParametrizedType* node) {} // no value
+void ExecuteVisitor::Visit(ParametrizedType*) {} // no value
 
 // Identifiers, constants, etc. -----------------
 
@@ -730,7 +730,7 @@ void ExecuteVisitor::Visit(CharLiteral* node) {
     utils::ValueType::Tmp);
 }
 
-void ExecuteVisitor::Visit(UnitLiteral* node) {
+void ExecuteVisitor::Visit(UnitLiteral*) {
   current_value_ = context_manager_.AddValue(
     info::value::InternalValue(info::value::Unit()),
     utils::ValueType::Tmp);
diff --git a/src/main.cpp b/src/main.cpp
index 438713a..f8eea47 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -74,8 +74,9 @@ int main(int argc, char** argv) { // TODO, only test version
 
   interpreter::ExecuteVisitor execute_visitor(global_info,
                                               type_context_manager,
-                                              context_manager,
-                                              main_partition.node);
+                                              context_manager);
+
+  execute_visitor.ExecutePartition(main_partition.node);
 
   std::cout << "\n---------------------------------- Typed -------------------------------------\n\n";
   typed_print_visitor.VisitSourceFile(source_file.get());
diff --git a/src/print_visitor.cpp b/src/print_visitor.cpp
index e5fef7c..3482545 100644
--- a/src/print_visitor.cpp
+++ b/src/print_visitor.cpp
@@ -728,7 +728,7 @@ void PrintVisitor::Visit(CharLiteral* node) {
   out_ << "[Char " << node->value << "] ";
 }
 
-void PrintVisitor::Visit(UnitLiteral* node) {
+void PrintVisitor::Visit(UnitLiteral*) {
   out_ << "[Unit ()] ";
 }
 
diff --git a/src/type_check_visitor.cpp b/src/type_check_visitor.cpp
index b0145ba..9d557f4 100644
--- a/src/type_check_visitor.cpp
+++ b/src/type_check_visitor.cpp
@@ -109,10 +109,10 @@ void TypeCheckVisitor::Visit(Namespace* node) {
 
 // Definitions -----------------
 
-void TypeCheckVisitor::Visit(ImportStatement* node) {}
+void TypeCheckVisitor::Visit(ImportStatement*) {}
 
 // TODO
-void TypeCheckVisitor::Visit(AliasDefinitionStatement* node) {
+void TypeCheckVisitor::Visit(AliasDefinitionStatement*) {
   error_handling::HandleInternalError("Unimplemented",
                                       "TypeCheckVisitor.AliasDefinitionStatement");
 }
@@ -356,7 +356,7 @@ void TypeCheckVisitor::Visit(AnyAnnotatedType* node) {
 
 // Flow control -----------------
 
-void TypeCheckVisitor::Visit(TypeConstructorPatternParameter* node) {} // Handled in TypeConstructorPattern
+void TypeCheckVisitor::Visit(TypeConstructorPatternParameter*) {} // Handled in TypeConstructorPattern
 
 // TODO
 // TODO: check for tuples
@@ -675,7 +675,7 @@ void TypeCheckVisitor::Visit(ScopedStatement* node) {
   node->base.type_ = current_type_;
 }
 
-void TypeCheckVisitor::Visit(LoopControlExpression& node) { // enum
+void TypeCheckVisitor::Visit(LoopControlExpression&) { // enum
   current_type_ = context_manager_.AddValue(info::type::InternalType::Unit, utils::ValueType::Tmp);
 }
 
@@ -829,7 +829,7 @@ void TypeCheckVisitor::Visit(ReturnExpression* node) {
   node->base.type_ = current_type_;
 }
 
-void TypeCheckVisitor::Visit(TypeConstructorParameter* node) {} // Handeled in TypeConstructor visit
+void TypeCheckVisitor::Visit(TypeConstructorParameter*) {} // Handeled in TypeConstructor visit
 
 // TODO: check for tuples
 void TypeCheckVisitor::Visit(TypeConstructor* node) {
@@ -956,7 +956,7 @@ void TypeCheckVisitor::Visit(ArrayExpression* node) {
 
 // Name
 
-void TypeCheckVisitor::Visit(PartitionName* node) {} // Handled in partition ( executable / test )
+void TypeCheckVisitor::Visit(PartitionName*) {} // Handled in partition ( executable / test )
 
 void TypeCheckVisitor::Visit(NameExpression* node) {
   // TODO: move, etc.
@@ -1259,7 +1259,7 @@ void TypeCheckVisitor::Visit(ParametrizedTypeclass* node) {
 
 // Typeclass & Type -----------------
 
-void TypeCheckVisitor::Visit(ParametrizedType* node) {} // Handled in TypeExpression
+void TypeCheckVisitor::Visit(ParametrizedType*) {} // Handled in TypeExpression
 
 // Identifiers, constants, etc. -----------------
 
diff --git a/src/types.cpp b/src/types.cpp
index 2e449f9..6a36158 100644
--- a/src/types.cpp
+++ b/src/types.cpp
@@ -29,8 +29,8 @@ bool AbstractType::operator>(const AbstractType& type) const {
   return type < *this;
 }
 
-std::optional<utils::IdType> AbstractType::GetFieldType(const std::string& name,
-                                                        const std::unordered_set<utils::IdType>& type_namespaces) const {
+std::optional<utils::IdType> AbstractType::GetFieldType(const std::string&,
+                                                        const std::unordered_set<utils::IdType>&) const {
   return std::nullopt;
 }
 
@@ -115,7 +115,7 @@ bool TupleType::operator>(const TupleType& type) const {
 }
 
 std::optional<utils::IdType> TupleType::GetFieldType(const std::string& name,
-                                                     const std::unordered_set<utils::IdType>& type_namespaces) const {
+                                                     const std::unordered_set<utils::IdType>&) const {
   for (size_t i = 0; i < fields_.size(); ++i) { // TODO: optimize??
     if (fields_[i].first.has_value() && fields_[i].first.value() == name) {
       return fields_[i].second;
@@ -198,8 +198,8 @@ bool OptionalType::operator>(const OptionalType& type) const {
   return type < *this;
 }
 
-std::optional<utils::IdType> OptionalType::GetFieldType(const std::string& name,
-                                                        const std::unordered_set<utils::IdType>& type_namespaces) const {
+std::optional<utils::IdType> OptionalType::GetFieldType(const std::string&,
+                                                        const std::unordered_set<utils::IdType>&) const {
   return std::nullopt;
 }
 
@@ -279,8 +279,8 @@ bool FunctionType::operator>(const FunctionType& type) const {
   return type < *this;
 }
 
-std::optional<utils::IdType> FunctionType::GetFieldType(const std::string& name,
-                                                        const std::unordered_set<utils::IdType>& type_namespaces) const {
+std::optional<utils::IdType> FunctionType::GetFieldType(const std::string&,
+                                                        const std::unordered_set<utils::IdType>&) const {
   return std::nullopt;
 }
 
@@ -309,8 +309,8 @@ bool ArrayType::operator>(const ArrayType& type) const {
   return type < *this;
 }
 
-std::optional<utils::IdType> ArrayType::GetFieldType(const std::string& name,
-                                                     const std::unordered_set<utils::IdType>& type_namespaces) const {
+std::optional<utils::IdType> ArrayType::GetFieldType(const std::string&,
+                                                     const std::unordered_set<utils::IdType>&) const {
   return std::nullopt;
 }
 
diff --git a/src/values.cpp b/src/values.cpp
index f099d71..00dd48d 100644
--- a/src/values.cpp
+++ b/src/values.cpp
@@ -30,7 +30,7 @@ bool InternalValue::Same(const InternalValue& other_value) const {
   return false;
 }
 
-std::optional<utils::IdType> InternalValue::GetFieldValue(const std::string& name) const {
+std::optional<utils::IdType> InternalValue::GetFieldValue(const std::string&) const {
   return std::nullopt;
 }
 
@@ -62,7 +62,11 @@ std::optional<utils::IdType> TupleValue::GetFieldValue(const std::string& name)
 
 bool VariantValue::Same(const VariantValue& other_value) const {
   // TODO: check, that type is same ?? (checked in typecheck ??)
+  if (current_constructor != other_value.current_constructor) {
+    return false;
+  }
 
+  return value.Same(other_value.value);
 }
 
 std::optional<utils::IdType> VariantValue::GetFieldValue(const std::string& name) const {
@@ -108,7 +112,7 @@ bool FunctionValue::Same(const FunctionValue& other_value) const {
   return false;
 }
 
-std::optional<utils::IdType> FunctionValue::GetFieldValue(const std::string& name) const {
+std::optional<utils::IdType> FunctionValue::GetFieldValue(const std::string&) const {
   return std::nullopt;
 }
 
@@ -127,7 +131,7 @@ bool ArrayValue::Same(const ArrayValue& other_value) const {
   return true;
 }
 
-std::optional<utils::IdType> ArrayValue::GetFieldValue(const std::string& name) const {
+std::optional<utils::IdType> ArrayValue::GetFieldValue(const std::string&) const {
   return std::nullopt;
 }
 
@@ -144,7 +148,7 @@ bool OptionalValue::Same(const OptionalValue& other_value) const {
   return true;
 }
 
-std::optional<utils::IdType> OptionalValue::GetFieldValue(const std::string& name) const {
+std::optional<utils::IdType> OptionalValue::GetFieldValue(const std::string&) const {
   return std::nullopt;
 }
 
diff --git a/src/visitor.cpp b/src/visitor.cpp
index b5d7220..c30508b 100644
--- a/src/visitor.cpp
+++ b/src/visitor.cpp
@@ -461,7 +461,7 @@ void Visitor::Visit(ScopedStatement* node) {
   Visit(node->statement);
 }
 
-void Visitor::Visit(LoopControlExpression& node) {} // enum
+void Visitor::Visit(LoopControlExpression&) {} // enum
 
 // Operators
 
@@ -645,19 +645,19 @@ void Visitor::Visit(ParametrizedType* node) {
 
 // Identifiers, constants, etc. -----------------
 
-void Visitor::Visit(std::string* node) {} // std::string
+void Visitor::Visit(std::string*) {} // std::string
 
-void Visitor::Visit(FloatNumberLiteral* node) {}
+void Visitor::Visit(FloatNumberLiteral*) {}
 
-void Visitor::Visit(NumberLiteral* node) {}
+void Visitor::Visit(NumberLiteral*) {}
 
-void Visitor::Visit(StringLiteral* node) {}
+void Visitor::Visit(StringLiteral*) {}
 
-void Visitor::Visit(CharLiteral* node) {}
+void Visitor::Visit(CharLiteral*) {}
 
-void Visitor::Visit(UnitLiteral* node) {}
+void Visitor::Visit(UnitLiteral*) {}
 
-void Visitor::Visit(BoolLiteral* node) {}
+void Visitor::Visit(BoolLiteral*) {}
 
 } // namespace interpreter