The way formations are written in numbers is failing to catch up with the game too. The best example is the RS who play a 4-3-3 when you right it out but in possession often end up in kind of a 2-1-4-1-2 because of how their fullbacks push on and Firmino drops off. Bayern are another one who push the fullbacks way up so saying they're playing 4-2-3-1 is kind of off. Then you've got City who will sometimes push the fullbacks on but also have them drop in as CMs or CBs. Just using the numbers misses a lot.
All that said our current formation with literally two guys trying to do all the central midfield stuff is not something many successful teams are doing. Even Atletico who are the most successful modern 4-4-2 side often play Koke as a "winger" but have him often coming into the center to help out when they're in possession. I think we will have to adjust in some way for it to work.
Given Carlos words today I can defo see him tweaking the 442 for next season.