Interval macro

This introduces the macro `@make_interval`

The user types arbitrary code and a correct bounding interval is created, e.g.

`@make_interval((2.1-pi)*(2.1+pi), pi*pi)`


Fine with me.