Use addr_type_of_exp more in base #15440

Job	Run time
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	8m 10s
regression (macos-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	13m 33s
extraction	-1s
	21m 42s

Provide feedback