Improve prelude-eval-and-replace
new abbrevs
Merge remote-tracking branch 'upstream/master'