I was considering creating a language that has nominal cases distinct from
verbal cases. In such a language, you'd get something like:

dream-3s.Present animal-pl.NominalAccusative "he is one who dreams of animals"

dream-3s.Present animal-pl.VerbalAccusative "he is dreaming of animals"

Is that possible/plausible/already been done? Am I breaking anadewism? If
not, what would this be called? Is it another way of looking at something I
already knew about/didn't realize existed?