mekso operatory: prime mark append

For ordered inputs (A, B, C), where A is a general mathematical object, B is an integer (normally nonnegative), and C is a nonnegative integer; appends B prime(s)/distinguishing marks of type C to A. Presumably objects that have the same symbol as A but different B and C values are mutual(ly) related/analogs, but are at least formally distinguishable. B and C each default to 1. In practice, tick marks are usually called prime marks (and probably will effectively/culturally have a value of C=1); other distinguishing features are employed usually once these are used, such as overbars, over-tildes/over-twiddles, dagger, asterisks, etc. For a fixed C, this operator forms a series in B for each A. The meaning is context-specific. B = 0 iff C = 0; if A in unprimed (lacks any distinguishing marks), then B = 0; thus all mathematical objects have this operator implicitly attached to them with the value of 0 for the second and third argumentsize (note that this is not the default value for these arguments when this operator is explicitly mentioned). It is possible therefore to reference both primed and unprimed objects of form A simultaneously via reference to, for example, (1±1)/2 for the value for B and/or C (employing the setting of defaulting to the value of 1 as appropriate).