moved datatype elem to element.ML; removed unused imports function;
moved datatype elem to element.ML;
removed unused imports function;

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