Checker checks whether a type is valid for an operation
Parser checks context of PRIM and PLUSMINUS
Context checks for if and while are performed