Formalize strong zero #56

As a reminder of discussion had in #55.

It might be worth it to add a function isstrongzero to have a single point of checking for simplifications that are possible/required when for example beta is supposed to be a strong zero.
This is also useful for downstream packages that can rely on this behavior.