Revise docs to reflect can_be_empty and add_rule changes