While not implemented, here is the CUE creator's writeup about how CUE can be a better alternative to rego. The main advantage is that the policies can be written separately and then unified. I don't see how I might have more modular or composable policy building blocks with Really.
https://github.com/cue-lang/cue/discussions/818