import java.lang.ref.*;
/** <font color=green>juxtaposition; zero or more adjacent Elements; can specify a rewriting</font> */
-public abstract class Sequence extends Element implements Iterable<Element> {
+public abstract class Sequence /*extends Element*/ implements Iterable<Element>, SequenceOrElement {
protected final Element[] elements;