ASSIGNMENT: Type checking

Using the template for the 5th homework, you should implement type checking (including name resolving of component names) as part of the semantic analysis.

You should upload your solution as a zip file named xxxxxxxx-seman.zip where xxxxxxxx stands for you student identification number.  The contents of the uploaded zip file must have exactly the same directory structure as the template.  The uploaded zip file must contain complete source distribution (including the previous phases), but without antlr and generated files.