Will we have a proposal to increase the account name length as we get closer to running out of names?
There are 26 letters and 5 numbers available for making standard EOS names, meaning there are = 787662783788549761 possible names available. And that excludes all the non-standard names that are currently being bid on.
Each EOS account currently costs about 0.7 EOS in RAM to create.
We will not run out of names.