Describir: Decentralized Systems with Design Constraints