In other words, if name a depends on b and b is invalidated (because
of added implementations), then a must be invalidated as well.
Also adds a specific test (custom/piecemeal) that tests this.
And use it to define negate and add for Complex numbers in a way that
is independent of component types.
Also add a bigint type and verify that pocomath will then handle Gaussian
integers "for free".
