I don't like the name "cond-implements".  Something like "cond-expand"
or "cond-expansion" better indicates that the test is performed at
macro-expansion time.  Any suggestions?

Marc