Non-idempotent types for classical calculi in natural deduction style (Logical Methods in Computer Science, 2020)