newRPL - build 1255 released! [updated to 1299]

[The Shadow]

A further thought on groups... I think they should perhaps be organized by what the expected content of a variable is.

That is, a matrix variable should be treated differently than a real variable, which in turn is different from a complex variable. (I'm not sure what sort of variable should hold infinity, though, as it's not a real or complex number!)

So, rather than having global flags, have the type set for each variable, and apply rules accordingly.

There would still be room for flags denoting degrees of rigor. Sometimes you don't care about eliminating poles or taking account of different square roots, but sometimes you do.