Update for consistent capitalization

See https://github.com/idris-lang/Idris-dev/pull/1553 .

Fixes #41.
Merge pull request #42 from idris-lang/feature/renaming

Update for consistent capitalization