Renamed IntervalSetElement to Element

It is an inner class, and is not meant to be a general purpose type class
anyway, so it might as well have a short name.