Adds Lens Getters for Settings
Adds lenses to Main and file-loading capability
Adds comments to WebSearch in lieu of partial specification