Resolve "replace `Succ` with an `Add` constructor on `Level`"

belazyrequested to merge
95-replace-succ-with-an-add-constructor-on-level into main

Closes #95 (closed)

Merge request reports