size functions for nested datatypes are now expressed using generic ..._size functions.
size functions for nested datatypes are now expressed using
generic ..._size functions.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle