Add binding for \sim character (U+223C ∼) to emacs unicode file.
Extend simplifier's treatment of abbrevs to handle abstractions better