A couple more Unicode in Emacs bindings.
Make "by" quieter when the provided quotation doesn't type check.

Also make sure that a typecheck error message exactly coincides with the
corresponding exception's message.