New compose lemmas. Reverted alpha_gen sym/trans changes. Equivp for alpha_res should work now.

quick_and_dirty := true;
no_document use_thys ["LaTeXsugar"];
use_thys ["Paper"];