Simplify the type component paths
Simplify Case_nary
Auxiliaries for path construction