What if we add variables:
exp ::= <INT> | <STRING> | exp "+" exp | exp "-" exp | "length" "(" exp ")" | "inttostring" "(" exp ")" | <ID>