Reordered defs in diagrams and added mli