Implement simple type coercion for signed integers
Move check for target size of assignments to the constraint checker class
Move the symbol table into a dedicated module
Fix constraint checker for FunctionDef
Let the typing system generate real types from type id strings