Setoid, Category like PackMathStr.

add: ssr/Setoid.v, ssr/Category.v