Would it be possible to change the I7 compiler to understand mass noun declarations?

I find myself frequently caught by the fact that a declaration like:

A bucket is here. Some mud is in the bucket.

results in mud being defined as plural-named.

I know that in general the compiler treats the word “is” and “are” as meaning the same thing, but I also know that there are various patterns of declaration that it uses to try to guess authorial intent.

How feasible would it be for the compiler to recognize the combination of “some” as an article and “is” as the verb as being special, so that it would automatically set up mud as singular-named and having "some" as its indefinite article?