The UK's proposed "mansion tax" is a small substitute for proper taxation of expensive houses.