Effect system: filtering tags

[elcritch]

That's a great PR! I learned a lot about where the compiler does some of the 
meta things like effects.