Updating: adding CoYonedaLemma
Merge remote-tracking branch 'upstream/master'
reorganizing a bit more