Make Basic.has behave more like SymPy, use new visitor #407

Job	Run time
build (Debug, yes, 3.12, yes, ubuntu-22.04, gcc)	47s
build (Debug, yes, 3.10, yes, ubuntu-22.04, gcc)	44s
build (Debug, yes, 3.9, yes, ubuntu-22.04, gcc)	45s
build (Debug, yes, 3.11, yes, ubuntu-22.04, gcc)	45s
build (Debug, 3.13, yes, yes, ubuntu-22.04, clang)	50s
build (Release, 3.13, yes, ubuntu-22.04, gcc)	46s
build (Release, 3.13, macos-13, gcc)	1m 39s
build (Debug, 3.12, yes, 18, yes, yes, boostmp, -k "not integer_nthroot", ubuntu-24.04, gcc, llvm...	46s
build (Release, 3.9, yes, ubuntu-22.04, gcc)	49s
build (Release, 3.9, no, macos-13, clang)	1m 34s
build (Release, 3.13, yes, ubuntu-22.04, clang)	49s
build (Release, yes, 3.13, ubuntu-22.04, gcc)	47s
build (Release, 3.9, yes, flint, yes, ubuntu-22.04, gcc)	50s
build (Release, 3.13, yes, gmpxx, no, ubuntu-22.04, gcc)	49s
build (Debug, 3.13, no, macos-13, gcc)	1m 22s
build (Debug, 3.13, yes, 5, macos-13, clang)	1m 40s
build (Release, 3.13, yes, ubuntu-22.04, gcc)	51s
build (Release, 3.11, ubuntu-22.04, yes, yes, yes, yes, yes, yes, flint, yes, gcc)	45s
	17m 18s

Provide feedback