Non-polynomial example

[blegat]

With the rewrite on StarAlgebras in #355, we can now use bases that are not monomial
@kalmarek do you have a nice example we could use in the docs ?

[blegat]

@kalmarek says https://github.com/kalmarek/QuantumStuff.jl/pull/5 is a nice example of Quantum correlation from the Bell's experiment : https://en.wikipedia.org/wiki/CHSH_inequality