Turned Addsimps into AddIffs for datatype laws.
Turned Addsimps into AddIffs for datatype laws.

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