...now that we have generic methods, their types need to be specified too.

Fixes #7375

Fixes #7372

This widget matches the style of the iOS slider widget. We don't yet
have the proper visual design for the disabled state.

This patch contains a first draft of an iOS-style switch. We'll likely need to
tweak the constants upon closer study, but the basics are here.