sun#32, rename subtypes of PushButton, in preparation for creation of ToggleButton hierarchy.