add lt_nbhs{r,l} variants #5085

Job	Run time
rocq-elpi	55s
rocq-core	55s
stdlib	52s
coq-elpi	57s
coq	52s
hierarchy-builder	51s
mathcomp-finmap	1m 2s
mathcomp-bigenough	1m 1s
mathcomp	57s
mathcomp-analysis-single	18m 11s
mathcomp-classical	3m 11s
mathcomp-reals	2m 15s
mathcomp-analysis	17m 41s
mathcomp-reals-stdlib	1m 40s
mathcomp-experimental-reals	3m 28s
mathcomp-analysis-stdlib	16m 58s
	1h 11m 46s

Provide feedback