Add (uni)setoids and setoid morphisms