Text this: Domain Representable Spaces Defined by Strictly Positive Induction