big documentation cleanup
include return types with wait() call
update instructions/examples in README.
update README, wait() example
fix broken cross references in documentation
add examples for add_conjunction add_disjunction