Search leads based on Program TAGS (as constraint)

It would be extremely beneficial when weighing the pros and cons of our programming to be able to pull SmartLists of leads based on programs of a specific custom type. For example, searching for any leads that had a Success Moment in a program marked with a specific tag like Channel=Email Program, or Manager=Name, etc. It would be easiest as an additional constraint to the "Member of Program" criteria.