theories/common.v
theories/lra.v
theories/ring.v

-R theories mathcomp.algebra_tactics
-arg -w -arg -notation-overridden
-arg -w -arg +elpi.typecheck
-arg -w -arg -elpi.typecheck-syntax # remove `Elpi Typecheck`, automatic with elpi 3
-arg -w -arg -elpi.flex-clause      # use `X =!=> ...` instead if X is a rule for a function