For a project billing itself as “express public transportation,” little about The Boring Company’s proposed Music City Loop ...