The red lines of Theresa May in 2016 – to leave the single market, the customs union, and to end the jurisdiction of the European Court of Justice – were a lot more palatable in the immediate aftermath of the referendum than they are now.