added a test whether some of the constants already equivariant (then the procedure has to fail).

no_document use_thys ["Quotient", 
                      "LaTeXsugar"];

use_thys ["Paper"];