I noticed contents in Clean library StdOverloaded.dcl and StdOverloaded.icl are same, the implementation module does not implement any class. Are the research group putting forward a new version? Jigang