docs

Review and simplify `unrollType` uses #5107

Job	Run time
api-build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	4m 19s
api-deploy	0s
	4m 19s

Provide feedback