Type Checking
[Inferred Typing](https://texonom.com/inferred-typing-eaa3e6d96ac6467693afdf92156ff665) 


- Operator and operands must have “compatible” types
- Requires to identify types and check them against type rules
- Insert and lookup entries of a symbol table










