Change @lazy to declaration modifiers (without the @ symbol)

...according to the changes in Beta 4