The main bottleneck was in EquationTags::erase(), which had quadratic
complexity in the number of equations. This commit optimizes it to n·log(n)
complexity.