Filtered colimit of ML modules along ui maps is ML

Also some small changes made