behavior change: tags can now be merged into sets of different types. They are handled as pure tags in that case.