Checking label, goto, and break statements in the new type checker