[DAL] Some renaming to avoid confusion

François Thiré requested to merge francois@dal-renaming into master

The previous naming used:

  • "slot" as "slot header"
  • "slot header" as "Kate commitment"

This was confusing. In this MR, we rename "slot" by "slot_header" and "slot header" by "Commitment". This should make the code clearer.

More style MR will come after to fix other discrepancies.

Merge request reports