[dev] Fixed missing default cons in mmin.h and fixes for hlps_eos.