Move src/interval to src/util/interval