made the quotient_type definition more like typedef; now type variables need to be explicitly given

no_document use_thys ["../Quot/QuotMain"];

use_thys ["Paper"];