renamed member of RealRange

and modfied VariableManager::variation_of_a()
more renaming, including changes in API
use domain for constraints in CMPfit
added RealRange::str()
GUI: show domain in the sidebar
don't change domain of $var on command "$var = ~12"