Refined a range of mappings from keyword to glyph and added coq-goals-mode.