new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files

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

use_thys ["Paper"];