Suggestion: make the clauses in case and cond forms (without =>, naturally) be BODY instances, to allow them to have definitions. It is well defined AFAIK, and costs nothing.
Closing as duplicate of #53.
Re-opened as a specific instance of #53, since #53 was voted on only as a "guideline" and not as a strict acceptance.
We voted against this.