interface: Remove redundant declarations in mli files
interface: export all values from modules

To ensure reverse-compatibility of the API, export all values from
modules that now have interface files.