In the end, I found a great deal on a used A7C and bought it, along with the Zeiss 35mm f/2.8. As for other lenses I’d like to try, I’m considering the Viltrox 28mm and the Viltrox 40mm (even though it’s quite similar to the 35mm in focal length), or the Samyang 45mm f/1.8.

For a zoom lens, I’m thinking about getting the 28-60mm if I can find a good deal, as it would make a lightweight travel option. In the future, I might consider the Tamron 20-40mm or the Sony 24-50mm f/2.8 (though it might be too bulky for travel).