Because he is just showing an example of macros, not giving a tutorial on how to add list comprehensions to Clojure.