Add an AnonArgFlag to FunTy

This is very much work in progress on Trac #16185 (closed), not ready to merge.

But I want to put it where Richard (and anyone else) can see it.

Does not yet validate