We should categorize the `continue` and `break` keywords in the effect notation table. These are important, but I'm not yet sure how to categorize them.