delete NCOC* and fix bug in _CoqProject (and Yoneda.v)