Complete real module

Mostly do reformatting, there is nothing to convert
Reformat calc_rat module
Complete conversion of calc_rat module
Lift ring_mk_const argument in RING_AND_IDEAL_CONV function for safety