Bayesian open games | Arena Library | Arena