Begin integrating new Interval stuff

- Replaces mkInterval with a new implementation.
  This version no longer loops, but fails with an error message
  if given odd combinations (fixes #41). We can add a more safe API
  using the same principles later.