Removed IntervalSetFactory

This won't work, since they need different type classes