Or don’t do any of that, create a ridiculously simple tax (LVT) that has no dead weight loss, incurs no inefficiency, distorts no prices, reduces no ones freedoms, has no additional overhead (these values are already assessed/taxed in many places), and get all the same benefits.

Sure but then you have to deal with a real estate market resulting in irrational collective decision making.

Also, by all observation, the market is restricting the freedom of people to live under a roof in their own city.

This system creates no collective decision making nor does it restrict any freedoms.

If you believe that it does, you should look further into the LVT proposal.