capitalization (so help works from idris-mode)