Add abs/floor/ceil to double/float/mpq/mpfp
Fix interval<T>::operator- and interval<T>::operator/
Fix numeric_traits<mpfp>::pi constants
Fix default constructor of interval<T> to call reset method to assign 0
Add fmod, sin, cos to interval<T>
Add more test to interval
Fix log/exp in interval
Add more test to interval
Add unary minus operator overloadings to mpq & mpfp
Add tan to interval
Add more test
Add {float,double,mpfp}_interval.cpp in tests/interval
Add asin, acos, atan, sinh, cosh, tanh to interval
Remove "continue_on_violation(true);" from tests
Add operator<(mpq, double) to mpq
Add asinh, acosh, atanh to interval
Fix interval<T>::cosh
Add occurs function

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Rename type to domain in contexts (aka telescopes). Reason: make name convention consistent with the one used for abstractions (lambdas and pis).

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add sanitize_names for (local) contexts

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>