Capitalisation of settings

[eloots]

Currently, most of the names of settings (in the Settings object) do not have their first letter capitalised. This should change for two reasons:

• Better for reading/inspecting or reviewing the code that use such settings.
• Allows to match on settings as a constant in pattern matching and avoids the pitfall that you get a unwanted variable pattern match.

[eloots]

Closing as part of #154