> If it's really abstractable it shouldn't be difficult to refactor. It should literally be a substitution.

This is overstated. Not all abstractions are obvious substitutions. To elaborate: languages vary in their syntax, typing, and scope. So what might be an 'easy' substitution and one language might not be easy in another.