Some tweaks in Logic.
Snake-Lemma example for modules
Updated submodule.
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Updated submodule.
  Some tweaks in Logic.