Implement the category of hSets, and of hProps
Use issig rather than _sig or equiv_sig