taskpool: modify transfer annotations for push() and join()