Emacs mode for the language introduced in Berkeley's CS164 class