Wenn du erwartest, Dich signifikant zu verbessern im Vergleich zum 8540w, dann wird's selbst mit gebrauchten Geräten bei einem Budget von 400€ max. wahrscheinlich eng werden.
Eventuell wäre ein T530 oder ein T540p mit i5, 250GB SSD und 8GB etwas für Dich, bei fast allem, was kleiner ist, müsste...