guide: add reference chapter for trigger annotations #6109

Job	Run time
smoke-test-and-release-windows	8m 50s
fmt	1m 4s
smoke-test-and-release-linux	6m 24s
smoke-test-and-release-macos-x86	13m 3s
test-and-release-macos	11m 43s
test-and-release-macos (record-history)	3m 28s
test-and-release-macos (no-std)	2m 28s
test-and-release-macos (no-alloc)	2m 42s
test-and-release-macos (singular)	3m 44s
test-and-release-macos (cvc5)	3m 23s
release	12s
	57m 1s

Provide feedback