Syntax: change rewrite arrow to `<-`

[d-xo]

Currently rewrites and implication use the same syntax, which is a little confusing. It would be nice to change the rewrite arrow to <-, hopefully making the specs easier to write.

[mahmudsudo]

hi , can i take on this ?

[mrscottyrose]

Hey @d-xo , I’ve made the necessary changes in **PR #192 ** to switch the printer over to using <- instead of =>. Replaced the old line—no need to preserve the legacy syntax in output anymore. Feel free to take a look when you have a moment