c,d,e,path
FinOrd,FinSet,Set,skeleton + full
Perm,FinSet,Set,core + full