InSight has safely landed on Mars, and astronomers have some improved theories about the TRAPPIST-1 system.