better typing
Reimplemented concurrent access spec rule to work even with sync publishers!