CSC448: Type Checking: Clogs Implementation [43/133]

Translation of type checking rules into code.