Tactical.VALID_LT

Tactical.VALID_LT to check that a list-tactical is valid,
expand_list to interactively apply a list_tactic and check its validity;

also abbreviations elt, eall, eta, enth to apply tactic to subgoal(s)