### Input grammar { adapt rule expr { adapt group base { x <- "$" x:#this; } } } let w = Type -> Type; grammar { adapt rule expr { adapt group base { $y <- "%" y:#this; } } } let z = Type; %z ### Eval Type ### Type Type