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