add constructor and selectors for intervals
add subtract procedure for intervals
fixed the wrong bound