Bayesian Markov Games with Explicit Finite-Level Types