I am actually in favour of adding more @ symbols. I think it makes it clear which things are attributes, and it makes user defined attributes look like the built in ones. So the built in ones look less special.