Signed[A].abs is made optional, to be used when A is an additive group with a `negate` operation.