Working on merge
Working on endpoints
Finished endpoints
Work in progress on NumericInterval
Finished numeric endpoint
Refactored processes and messages
Work in progerss
WIP
WIP
WIP
WIP
Working as pass-through
Cleaned up bool interval
WIP
Handle assertions, generalize ints
Reals done
Generalize subrange ints
Bug fix
Use depedency information to reduce recomputes
WIP