Unable to build project

[capt-hb]

I'm getting the following errors when trying to build the project:

File "nanosail/Sail.ml", line 3, characters 23-54:
3 | type sail_definition = type_annotation Libsail.Ast.def
                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The type constructor Libsail.Ast.def expects 2 argument(s),
       but is here applied to 1 argument(s)
File "nanosail/NanosailToMicrosail/GenerationContext.mli", line 24, characters 31-72:
24 | val add_original_definition  : Libsail.Type_check.tannot Libsail.Ast.def -> unit t
                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The type constructor Libsail.Ast.def expects 2 argument(s),
       but is here applied to 1 argument(s)

The commands I ran to install the dependencies using opam, in the project directory (as in the README.md):

$ opam switch create sail-backend ocaml.5.0.0
$ eval $(opam env --switch=sail-backend)
$ opam install . --deps-only
$ dune build # <- ERRORS (see above)

[fvogels]

It builds now, but does not yet run. Investigating the problem.

[fvogels]

Issue mostly fixed, but still some updates necessary to restore everything to its former glory