Add `ObserveHasAnyDatoms` #313

Job	Run time
build-and-test / Build and Test (ubuntu-latest)	2m 0s
build-and-test / Build and Test (windows-latest)	3m 46s
build-and-test / Build and Test (macos-latest)	1m 37s
build-and-test / Build and Test (macos-13)	3m 1s
	10m 24s

Provide feedback