Function zero() returns the empty frab object; this is
the additive identity \(0\) with property \(x+0=0+x=x\).
Function is.zero() returns TRUE if its argument is
indeed the zero object.
Function is.empty() is a synonym for is.zero().
Sometimes one is thinking about the free Abelian group, in which case
is.zero() makes more sense, and sometimes one is thinking about
maps and tables, in which case is.empty() is more appropriate.