Move tag_list template into the idioms page.

This isn't a big deal, since it is now highly customized for this page.
It was previously used multiple times in multiple places, which is why
it was a separate include.
Improve string representation for Idiom tags.

Also distinguish between use cases and constructs.