The Boring Company has filed official paperwork with the state as the "Music City Loop" project moves forward.