Commit 2022-12-01 21:40 04e92ad9

feat: show info on to_additive even if the declaration already exists (#816)

• We move the place where we declare termInfo so that it also exists if the additive declaration already existed.
  • If it already exists, we set isBinder := false
• Other than that there are some code changes that do not affect the behavior of @[to_additive].
  • We move Config (formerly ValueType) up in preparation to add a reorder configuration so that @[to_additive] can reorder arguments.