refine LetModule
refine Send:fix
refine RecBind
refine class_sig_item
refine class_str_item:fix
refine CrMth
refine MtFun
refine Module:fi
refine Functor:fix