sbi_internal_eq: add "sections" of notation, following stdpp

Merged Paolo G. Giarrusso requested to merge Blaisorblade/iris:sbi-eq-notation-sections into master

Merge request reports