some formatting changes and un-camelcasing FormControlCheckbox stuff
renaming the file and its import reference in widget init
channging whenPressed to when_pressed