Elon did some napkin math along the lines of “we will make tunnel boring ~10x faster by: 4x lower boring surface area, 4x faster boring because the industry are currently idiots not operating their machines at the limits that physics dictates”. (I can’t remember if there was actually another factor of 2 in there)

Making a much faster TBM was absolutely part of the initial plan.