Handle section variable nonsense in destruct_ tacs

See also bug 3769, https://coq.inria.fr/bugs/show_bug.cgi?id=3769; [repeat destruct H] loops if [H] is a section variable.