>I've committed a version where attributes are mostly parsed as in your >patch. > > [...] > >- Extension (: lid expr ) > in position of a: > > a module expression > an expression > a type expression Is there any particular reason that these are not allowed as structure items?