Use sequences properties and activity as Contact filters in Lists and Workflows

In addition to the ideas here, I would also like to be able to get a count of how many times a contact has been enrolled in a sequence (and be able to create lists and filters of contacts on that property). For example: Active list of leads that have been enrolled in less than 4 sequences.