### Input grammar { adapt rule expr { adapt group statement { let x = Type; e <- "tel" x:identifier "in" e:expr; } } adapt rule keyword { "tel"; "in"; } } tel y in y ### Eval Type ### Type Type