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

grammar {
    adapt rule expr {
        adapt group statement {
            tle x in e <- "tel" x:identifier "in" e:expr;
        }
    }
    adapt rule keyword {
        "tel";
        "in";
    }
}

tel y in y


### Eval
Type

### Type
Type