generalised the fs-instance lemma (not just fsets of atoms are finitely supported, but also fsets of finitely supported elements)

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

use_thys ["Paper"];