all benefits and pensions, including all elements thereof payable out of public funds, revalorization increases and supplementary allowances, ..., as also lump-sum benefits which may be paid in lieu of pensions, and payments made by way of reimbursement of contributions
