Implementation of Semantic Analysis Phase Using
Type Expressions
Type Checking
Type Equivalence
Type Conversion