Splitting of coherent idempotents

An answer to a question of Martin Escardo.
Nit: `namespace..` should be `namespace.`