Move src/interval to src/util/interval
Move src/interval to src/util/interval