Topic/real rename

Renames Real to Algebraic and CReal to Real.