The slinky

The model below shows a one-dimensional compact metrizable space that has strong computable type, and properly contains a copy of itself. The result is explained in this note.
Each section is an infinite helix whose two ends accumulate along two red circles. The space is made of two infinite chains of such sections (blue and green) accumulating along a central orange circle.

3D model produced with desmos, and exported using this project.