less verbose in equivalences
less verbose in whiskering
less verbose in precomp_ff
some notation in precmp_ess_surj
some more cleaning in precomp_ess_surj
Merge branch 'master' into mscs