Extend type checking for authz policies #8890

Job	Run time
Rego PR checks	2m 7s
Go Lint	2m 18s
Generate Code	1m 50s
WASM	11m 7s
Go Test (linux)	5m 8s
Go Test (darwin)	5m 7s
Check Generated	31s
Go Build (linux amd64)	3m 26s
Go Build (linux arm64)	3m 19s
Go Build (windows)	3m 58s
Go Build (darwin)	1m 52s
Go compat build/test (ubuntu-22.04, 1.19)	4m 45s
Go compat build/test (macos-latest, 1.19)	7m 59s
Go Race Detector	8m 4s
docker image smoke test	48s
smoke-test-binaries (ubuntu-22.04, opa_linux_amd64)	20s
smoke-test-binaries (ubuntu-22.04, opa_linux_amd64_static, disabled)	17s
smoke-test-binaries (macos-latest, opa_darwin_amd64)	38s
smoke-test-binaries (windows-latest, opa_windows_amd64.exe)	38s
	1h 4m 12s

Provide feedback