When Washington voters last month legalized the recreational use of marijuana, I can't have been the only one struck by the delightful irony that they did so seven years after they voted to make many public places, and some private homes, smoke-free.