Proto-Proposal: Types of switches
(AI = 2, please)
Amend Rule 2162 (Switches) by appending this text:
A slider is a switch with an infinite number of possible values.
A button is a switch with exactly two possible values. "To
press an instance of a button" is to make it come to have the
value it does not currently have.
A context-dependent switch is a switch whose possible values
depend on some portion of the gamestate other than the rules,
e.g. a switch whose possible values are Null and the set of
all players.
