Parametrising Safe Numerics

Veronica and Jan have been working on parametrising safe numeric computation in Scala by real types. Extending the previous work on Parametric Acumen they included intervals with exact rationals and BigDecimal endpoints and tested them with Forward Euler. They are currently working on a parametrisation of the type of endpoints. For the moment the IVPs that can be handled with intervals are limited by the lack of support for elementary functions. Adding these functions will be the focus of their work over the near future.