renamed type decompT to decomp; refute: proper context for trace_ex; some attempts to improve readability;
renamed type decompT to decomp;
refute: proper context for trace_ex;
some attempts to improve readability;

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