Very true. And we are now in the process of determining what model we want and where we’re are prepared to compromise in order to (using May’s words) “secure the best access to the single market for Britain.”
The “Hard Brexshit” (sic) issue only comes into play if the UK and the EU fail to agree. This is not the intended outcome for both sides and would be extreme folly. But, IIRC, it is then that May has said that the default option would be to fall back on WTO*. That would be the worst of the options available in terms of maximising trade and investment but the best in terms of faking control. I would be unhappy if that was the outcome.
As a supporter of full freedom of movement of people my best outcome would be at the other end of the spectrum of options (EEA). This is not as good as where we are now, but it is better than the alternatives. Unfortunately my views on FoM are in the minority, so I will probably be disappointed in the end. But hey, that’s democracy at work for you.
* IIRC, the basis of the SC ruling was that triggering A50 was “irrevocable”, one reason why an Act was required, so we cannot go back to the status quo if no deal is agreed – Brexshit means Brexshit 😉 . We have lost the best option for ever once A50 is actually triggered.