Template <switch>: stringify case values

This completes the code provided in #354.