I changed the meaning of x5 from "with starting point x₅" to "with
differintegration being according to definition/specification or of type
x₅".

I did this because it is more useful this way. Additionally, I think that
x1 should be a function in any case, which implies that any implicit
evaluations or the like, unless deleted by "zi'o" become problematic.
Thus, all derivatives are not evaluated, all integrals are indefinite, and
all integration constants are to be arbitrary until further restrictions
are imposed upon them.

If there are issues with back-compatibility, then I would claim that the
former meaning could conceivably be understood to be an instance of the
new meaning, although the grammar may not work.

This change was made at approximately 2020-10-08T14:15-4:00.