Non-terminal symbol `RawTerm`

Defining rules for nonterminal symbol RawTerm:

`RawTerm`		`Const`
		`Var`
		`Expr`
		`EXTERNAL` `OPENPAR` `Expr` `CLOSEPAR`

Occurrences of symbol RawTerm in body of other rules:

Term IriMeta_opt RawTerm

Non-terminal symbol RawTerm