Gedolim, Rishonim onward to pokim in Sh”t, use puns/double meanings from psukim to highlight a point.
(a famed T’shuva about lulovim merkovim – grafted palms used for lulovim quotes the possuk “zonsa Tamar” – Yehuda’s daughter-in-law Tamar also means palm tree).
There are even puns in Gemarah!
(example, Pesochim 9b about the concern that a weasel may drag chometz around the house and leave it in a spot already checked for chometz, the Gemara asks: וכי חולדה נביאה היא, as a pun on the name Chulda HaNeveah)
The Rishonim or Gemara held that they could use Torah “for witty puns” of Torah, but you must have higher standards than they.