Not sure who was talking about Spec 2, saying that it's all macros etc -- that's not true. Spec 2 has a full data representation of specs and supports programmatic construction of specs, and it also has a sort of "compiled AST" format (also data). The only thing holding Spec 2 up that I know of is Rich is still figuring out the best way to integrate specs into function definitions (some sort of combination of s/fdef and defn). The core team has said it'll get worked on this year. This is partly why they often work on stuff in private and only make it public once it is nearly done. People have been pretty negative about Spec 2's long incubation period -- but normally we don't even see the incubation period.

Thank you for the feedback. I'll try to keep that in mind to recommend in the future.