Re-add listen/listen_in documentation

In the shuffle of documentation for global state arguments and requisites, the listen/listen_in documentation went missing. This change re-adds it.