Design updates

Adds the concept of overridable Settings
Completes partial specifications for Main and Settings.

Completes primary layout for Main.
Completes partial specification for Settings.
Updates Imports to export unicode equality functions.
Adds preliminary Haddock documentation
Adds Lens Getters for Settings
Adds lenses to Main and file-loading capability
Adds comments to WebSearch in lieu of partial specification
Merge branch 'develop'

Completes initial version of the partial specification.