Changes in Type Checking

*** TO BE FILLED IN ***