Static Type Checking
Static type checking completes the analysis begun by the parser and performs activities such as affirming that a character value isn't being assigned to a
variable declared to be an integer-valued variable (unless the language allows
this!).
