This is pretty cool, I like the V2 constraint. I forget which one, but a few years ago I was looking at the typological properties of a Penutian language, which I think used inverse marking which was somehow complicated by an animacy hierarchy. This feels vaguely familiar in that respect.