Prelude: fix operator new exception specifiers