Change @lazy to declaration modifiers (without the @ symbol) according to the changes in Beta 4