relaxing type constraint for THEN and THENL

to permit
val THEN           : list_tactic * tactic -> list_tactic
val THENL          : list_tactic * tactic list -> list_tactic
as well as the usual types

also EVERY_LT for list of list-tactics