Unit attributes are given meaning by their existence, and thus have no meaningful value beyond "is it present". As such, in the format of an operation unit attributes are generally used to guard the printing of other elements and aren't generally printed themselves; as the presence of the group when parsing means that the unit attribute should be added. This revision adds support to the declarative format for eliding unit attributes in situations where they anchor an optional group, but aren't the first element.
let assemblyFormat = "(`is_optional` $unit_attr^)? attr-dict";
would print foo.op is_optional when $unit_attr is present, instead of the current foo.op is_optional unit.