Resolve "update specs" ✨️

Closes #35 🐔️👍️
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: loutr <loutr@crans.org>

🦀️🍰🦀️🍰🦀️🍰

* docs: fix example

* docs: update README

* docs: mentionning memory model + fix listing

* feat(docs): correct examples

* feat(docs): fix OCaml type and english

* feat(docs): remove lfs

* feat(docs): nixos+coverage

* feat(docs): misc

* feat(docs): add toplevel specs

* feat(docs): update syntax

* fix(tex): resolve listings errors

* feat(docs): update specs