Instances of models of double-categorical theories