El Lumix 9mm f1,7 está muy bien, mi mujer lo tiene, pequeño y muy ligero.
También podrías valorar en PanaLeica 8-18/2.8-4, muy bueno y no demasiado pesado ni grande. Admite filtros.
Otra opción, en manual, serían los Loawa 7.5mm y otras focales ultragranangulares, tamaño minúsculo pero no puedo...