Checkmarks

Checkmark options for the new Android UI. We might end up abandoning these anyway in favor of arrows, but nice to group them all in one place.