Should we define an implicit Ordering for Tags? They should be displayed ordered by name I think.