Type checking break, goto and label statements