- Generalize the library also to formalize uncertainty theories based on capacity (aka. non-monotonic measures)
- Generalize games of complete information and Howson and Rosenthal like theorem to capacities
- Require Coq-hierarchy-builder and coq-mathcomp-2.0