progress on IteratorImplHelper for Optional/no-default-ctor code