Correct some minor infelicities in the docfile for all_vars.
Document new all_atoms entry-point in Term.