[dependenttypes]

The break one does not make a lot of sense to me. Shouldn't they use another rhombus and a solid line instead? Same for continue and early return. Similar thing holds for goto.