Personally, I'd much prefer that we get things like
def @del
instead of
def __del__
Save some keystrokes and I think the @ is attention-drawing-enough that
we don't lose anything. Of course, all it's doing is adding @ to the
legal characters in a variable name, which might be a waste instead of
attaching a syntax to it, but...