In my proposal for a constraints-only world, I suggested keeping ANY-* for constraints which ‘look under’ sigils to match a specific type. So ANY-WORD? would match WORD!, GET-WORD!, QUOTED! of WORD!, ISOTOPE! of WORD!, etc., and similarly for the other ANY-* constraints. The idea would be that these are looking for ‘any’ occurrence of the specified type name. By contrast, a constraint like SERIES? wouldn’t get an ANY in its name, because it’s not looking for any occurrence of a SERIES! type. I think this is a reasonable compromise.