Implement syntactical analysis of the Python SDK #4

Description

While compiling the code, the compilation process needs to preform a small syntactical analysis of the code being compiled. Since we will take advantage of the python interpreter to perform a "first layer" syntactical analysis, this analysis needs to go beyond that.

Tasks

• Implement correctness of the types declarations, i.e. the qoala values are created within ranges, checking signedness, etc.
• Implement type checking on the operations, i.e. check that the operations receive and return the correct types.

Definition of done

• The types and operations implement a syntactical analysis when reading the qoala code.
• A set of unit tests that check the correctness of this analysis.