Compositional models for credal sets