This follows the advice given here:
https://latex.org/forum/viewtopic.php?t=32205
The option changes how destination names are defined.

Also fixes two other small typos related to references.

Should address:
#39

Addresses #40

Add some bitvector rules

See merge request !4

Fix CI error

See merge request !3

- adress normalizing of terms with context push (and other typos)
- Remark on missing Gamma

- replace semantic by semantics
- apply some review suggestions

this looks less ragged

The simplification `(P -> Q) -> Q => P or Q` is already covered
by `bool_simplify`.