Revert "regular Cauchy sequences", cf. issue #212

But these *are not* regular or or fast sequences. The formula is
*excatly* the usual definition: for all epsilon there is n, etc.

This reverts commit 5ac299faae519e736c7c45fecd2a5dfcb68c2402.