c,d,e,path
Perm,FinSet,Set,core + full
Hilb₀,Hilb,Ban_k,core + full
FinOrd,FinSet,Set,skeleton + full
Mat_k,FinVect_k,Vect_k,skeleton + full