shorten names Attribute -> Attr; restore Span(ex, ex) constructor