dyscope emanate iterable reachability emanates struct