added syntax for _idtdummy, _idtypdummy; removed obsolete _K;
added syntax for _idtdummy, _idtypdummy;
removed obsolete _K;

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