skeleton of subst for types