use TagSet instead of Tag[] in MapElement