Further work on Intervals (added division)

Removed a few warnings about auto-tupling