Update documentation strings to follow

[keram]

best practices reported by checkdoc and flycheck.

Why: To improve maintainability and user experience.

What:

• Capitalise word Idris
• Finish doc strings with period
• Remove period from error messages
• Use upper-case names of arguments in doc strings
• Update the first line of doc to contain single sentence.