Substitution up to Isomorphism