Python: lambda incrementor