empty precedence (optional), projections in argument filters

seems to work, but I have a few cases where formula size blows up. I'll open an issue for that.