Move writer concept into DM namespace

This is still very experimental and it seems that there is only a need
for such a concept, as long as we cannot use axiom for writes.