Remove IDL type artefact from yicesl.mli

and improve comments