I basically wanted to preempt complaints about

arc> (sscontract '(no (no (no (f x))))) (~no:~f x) ; equivalent to (~f x)

(mac even (x) `(no (odd ,x)))

(mac even (x) `(~odd ,x))

arc> (sscontract '(mac even (x) `(no (odd ,x)))) (mac even (x) (quasiquote (no (odd (unquote x)))))

I can imagine other code contraction facilities might be possible

Good guess: that's my next project. ;)