added UnicodeNotations, for now only used for printing
some Unicode used in folds_pre_2_cat
use notation in folds_isomorphism, move out aux. lemma
closer to notation in article by using T and I for comp and id
closer to notation in article by using T and I for comp and id, a bit more
cleaned folds_precat