We used to call those missile switches. Probably still do

Ed. A search on my local electronic components shop's site returned nothing on a search, but scrolling the 211 items in category "switches" found a missile switch cover (to suit toggle switches) as #86, so yes, we still do

Ed the second. Thingiverse shows many printable missile switch covers for diverse switch types