Pretty much all of those are extensible, especially given that a) they are provided in source code and b) those LOOP macro implementations have internal extensi

Pretty much all of those are extensible, especially given that a) they are provided in source code and b) those LOOP macro implementations have internal extension features. The paper I've linked gives an example how to extend LOOP in SBCL for iteration over sequences.