Added objc annotations to lazy seq article