Add type space declarations to branched type family instances.