==

Wouldn't it make more sense if the = operator tested for equality and == assigned? Since == is repeated and more emphatic?

(define-syntax treat
  (syntax-rules (as in)
    ((treat a as b in exp)
     (let ((a b)) exp))))