PLT Redex input mode for emacs