Hmmm

  (defrules my-rules
    [(+ ?x 1) (inc ?x)]
    [(- ?x 1) (dec ?x)])

Could something like that be shipped together with libraries and automagically update and refactor my code on simple backward incompatible changes?