add spec for mutable enumerator impls