Definition toto:=[x:Set]x.

Grammar constr constr8 := 
     toto [ "#" constr7($b) ] -> [ (toto $b) ].