replaced List of tags with a Set

A statements tags don't have an order and should not be allocated more than once. So a Set is a better choice. This also makes it easier to compare statements since the order of its tags doesn't matter any more.