Consistent naming of tactics/macros

We should enforce the naming convention that `macro`s corresponding to a meta-program `` of type `Term → TC ` is always named `by-`.

e.g. [the tactic for automating injectivity proofs](https://github.com/input-output-hk/formal-ledger-specifications/blob/master/src/Tactic/ByEq.agda) does not follow this convention.

_Originally posted by @WhatisRT in https://github.com/input-output-hk/formal-ledger-specifications/pull/231#pullrequestreview-1657151090_