Rules For Type Checking