A7C is E-mount right? There’s the 16mm F2.8, 20mm F2.8, and PZ 16-50mm F3.5-5.6 OSS that are all more compact than the 35mm F1.8. They’re cheap lenses too.
Something to keep in mind: the lenses you have listet are alle only APS-C compatible and therefore would go into crop mode on an A7C. You can use the lenses on the A7C but it would beg the question: why buy a FF camera to only use it in crop mode?