Add a first version for interfaces (non prob for now)

[forrazh]

No description provided.

[affeldt-aist]

Can't compile immediately:

 make
/Library/Developer/CommandLineTools/usr/bin/make -f Makefile.rocq all
W: This Makefile was generated by Rocq/Coq 9.0.0
W: while the current Rocq version is 9.0.1
make[2]: *** No rule to make target `/var/home/forrazh/code/phd/FreerDPS/_opam/lib/rocq-runtime/rocqworker', needed by `theories/Init.vo'.  Stop.
make[1]: *** [all] Error 2
make: *** [all] Error 2

This is because of the automatically generated files that have been committed.

[affeldt-aist]

It might be a good idea to follow MathComp's rules in terms of indentation and line width (and the absence of trailing spaces).

[forrazh]

I fixed the generated files issue on master and propagated (rebase) on my three PRs.
I'll look for the mathcomp "linting" rules

[forrazh]

Depends on #8