refactoring of mpfr_flavor interface
basic structure of base_interval
base_interval interface
finished refactoring of interval interfaces