The only place Funext is used in showing that Set is a precategory is in showing that its homtypes are sets, right?  Would it help to have a notion of "pre-precategory" without that restriction?