I admit Martinez is a quality goali. The problem is that Villa's asking price is too high. How the hell they asked £40m for him. Also paying £200k weekly for him is just waste of money. Buying Lammens is one of their good alternative. They have spent a lot, and should not be overspending on their new goalie.
The good thing is Martinez when with Argentina but when with Villa, Martinez also often does blunders that harm the team. Compared to Onana, yes Martinez is better as a goalkeeper.
Besides what I know, Manchester United only made Martinez an option if Lammens was not successfully obtained, so it was very clear that Martinez was not their top priority.
When Manchester United got Lammens, the reason for the salary and costs requested by Aston Villa was the reason behind the failure of Martinez to Old Trafford.