Syntax: change rewrite arrow to `<-`

[dxo]

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.