the type of retractions is a retract of partially-coherent idempotents
WIP