minor fixes; in some places changed ln/v to l_n, lm to l_m, ld to l_descr

Status Job ID Name Coverage
  Build
canceled #36146
fp-timing
build-coq.8.9.0