//public Element _star__slash_(final Element r, Element s) { return Repeat.many0(r, s); }
//public Element _star__star_(final Element r, Element s) { return Repeat.maximal(Repeat.many0(r, s)); }
public Object _plus__plus_(final Element r) { return new Rep(r, null, true, false); }
//public Element _star__slash_(final Element r, Element s) { return Repeat.many0(r, s); }
//public Element _star__star_(final Element r, Element s) { return Repeat.maximal(Repeat.many0(r, s)); }
public Object _plus__plus_(final Element r) { return new Rep(r, null, true, false); }