You could extend that with examples where specific type of loop actions are even abstracted further, such as filtering, which is aided by (standard) libraries,

You could extend that with examples where specific type of loop actions are even abstracted further, such as filtering, which is aided by (standard) libraries, but also by introducing specific syntax to the language (think lamda's / closure's)