Check types while building an environment + errors when names of classes, methods and attributes are the same of a previous one