Naming the submodule Notation (for infix notations) as Infix seems to be the convention used in several packages (e.g., containers). Concretely, the plan is to...
Banish the top-level alias BwdNotation and
Rename Bwd.Notation to Bwd.Infix and also BwdLabels.Notation to BwdLabels.Infix
Version 2.1.0 can be released first to deprecate the old modules.
Naming the submodule
Notation(for infix notations) asInfixseems to be the convention used in several packages (e.g.,containers). Concretely, the plan is to...BwdNotationandBwd.NotationtoBwd.Infixand alsoBwdLabels.NotationtoBwdLabels.InfixVersion 2.1.0 can be released first to deprecate the old modules.
@jonsterling @TOTBWF Thoughts?