Redundant Buttons and Lights is a variant of Buttons and Lights with extra actions that behave in an identical manner to the three basic actions.  All rules are in ground canonical form.