(def-theory-ensemble-instances
    metric-spaces
    force-under-quick-load
    (permutations (0 1))
    (sorts (pp pp pp))
    (constants (dist dist dist))
    (target-theories metric-spaces metric-spaces))

(def-theory-ensemble-overloadings metric-spaces (1 2))