Move interfaces into mli files
Introduce a special type for a fiber functor