abbr: clusterfuck.   upgrade agda to 2.4.2, wire eavesdropper EVE on, add new commnad recog
agda-mode:give command
fix s-expression parsing (quoted atom)