Should FIELD interface include ZERO, ONE, and equals?

[duetosymmetry]

Every field has an additive identity ZERO, multiplicative identity ONE, and of course a test for equality. I think it would make sense to add these to the interface definition for FIELD.

[infusion]

What would you like to do with these attributes? I mean you are right, but these field attributes are not needed by any operation atm, or am I missing something?