creating generic test_term function; corrected instantiate_exhaustive_datatype; tuned
creating generic test_term function; corrected instantiate_exhaustive_datatype; tuned

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