subcategory,supercategory,kind
FinOrd,FinSet,skeleton
Mat_k,FinVect_k,skeleton
Pos,Pros,skeleton