explicit type Name.binding for higher-specification elements; added binding, parbinding;
explicit type Name.binding for higher-specification elements;
added binding, parbinding;

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