somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms

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

use_thys ["Paper"];