So, the key ideas are: - Smaller diameter tunnels. 14' is suggested. This is slightly larger than the deep London Tube lines. - Electrically powered TBMs. Those exist. However, often the business end of the machine is hydraulically powered. Musk is probably thinking of going all electric, at least for the cutter head. After all, he has lots of experience with high-torque electric motors. - Do cutting and tunnel ring…
I suspect having mini TBMs which go ahead of the main machine, boring small tubes would be an effective way to give feedback on what's coming up; avoiding nasty surprises / helping to prepare ahead of a change of soil type.