Earlier quoted context omitted.
I am also planning to move from a 4a, and at this point it would be either a Sharp R7 (probably not available internationally though) or a Sony Xperia 10 IV. The Sony seems to be the best alternative though I have no idea of the software quality.
List of smaller Android phones with decent specs: Pixel 5 - 144.7 x 70.4 x 8 mm Samsung S22 - 146 x 70.6 x 7.6 mm Zenfone 8 - 148 x 68.5 x 8.9 mm (could be higher thanks to narrower body) Xiaomi 12X - 152.7 x 69.9 x 8.2 mm Samsung S21 - 151.7 x 71.2 x 7.9 mm Sony doesn't produce phones, but remote controls. Their software is nice clean, but their camera is pretty bad, might as well buy Zenfone 8 if you don't mind cam…
There's really nothing small about any of the Androids.