A category of compositional domain-models for separable Stone spaces