deleted search in basic_lemmas_...
deleted check in catqalg
deleted check in precategories
started lemmas on idtoiso isotoid