Re: forcing weak purity

[Mehrdad]

We should make 'pure' mean strongly pure.

For weakly pure, we could introduce the 'doped' keyword :-D