comp: edit du type_check de fixfun qui etait completement foireux