[backend-prose] Missing interface files

[rossberg]

Please add missing mli files for backend modules.

[f52985]

Yes, we are in the process of adding missing mli files. I'll keep this issue open until it's done.