Port classical and reals to new rewrite goal order#1915

proux01 merged 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

proux01:classical-rworderproux01/analysis:classical-rworderCopy head branch name to clipboard