rename abort -> error, emacs-rex -> idris