Started work encoding widgets in SpreadsheetWidget.hs