Only complete types and signatures in .mli files.