Added constant lenses to WidgetLib.hs