improve the types of the interfaces in sys_model.sats
improve the types of the interfaces in sys_model.sats