Semantic analysis

[danilopedraza]

I must start the semantic analyzer soon. I will put the things it should do here:

• [ ] Check for congruence of function pattern declarations (not using symbols for a function and something else)