Have you tweaked the CNProg tag code?
I have not been able to get OSQA or CNProg tag systems to work like SE where you can select multiple tags and progressively narrow a search down.
But it seems that tags can be combined for list filtering on askbot.
Was this a major effort or just something that needed to be tweaked? .. it's a very important feature IMO !