🔢 Numbering options do not apply to proof/theorems/etc

[fwkoch]

trafficstars

Description

Numbering options can be customized in frontmatter for figures, headings, equations, even unknown kinds:

numberings:
  headings: true
  figure:
    template: Fig. %s
  unknown-kind: true

It should also work for proofs/theorems/etc but neither of these work; proof kinds are always numbered.

numberings:
  lemma: false
  prf:lemma: false

[fwkoch]

This does apply correctly:

numberings:
  proof:lemma:
    template: Lem. %s

but it is still not all the way there - you cannot disable numbering with

numberings:
  proof:lemma: false

[rowanc1]

I remember that we actually number by the type:kind combination, except for containers, which are elevated to just their kind in the numbering dict. I suppose that needs to be improved.