Well in many cases stype will just be internal for many of them. That
doesn't mean they're the same.
Hm, I suppose it might if they have the same sfunc.
This is actually where I started but we concluded that we needed some
declaration that the aggregates were actually related and would interpret
the state the same way and not just that it happened to use the same
storage format.