forAll are now correctly translated also in their returning type, before it was Unit (wrong), now it is always a boolean.