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