Should pure nothrow ---> @pure @nothrow ?

[Lars T. Kyllingstad]

Don wrote:
> It seems that pure and nothrow are attributes, just like @safe.
> (By contrast, you can overload functions based on const and immutable).
> Should the names be changed?

Definitely. And what about @deprecated and @override?

-Lars