Symbol type checking

[JustSomeCarbon]

Next is to walk through the ast again to utilize the now populated symbol tables in ensuring type consistency. This step involves looking at what symbols are defined and checking if their assigned type matches the assignment expression type evaluation.

This is one of the largest steps in the milestone and as such will take more time to complete.

• ensure all variable type definitions match
• ensure pattern block expressions evaluate to boolean operations
• ensure all function return values match return type
• ensure argument types passed into functions match type of parameters of function header definitions
• ensure structure definition parameters match definition field types
• ensure list and tuple definition parameters match given list type definition