The C++ implementation of rescoped expressions is as follows:
qual-typedef-opt
: type-name
| qual-typedef-opt TICK type-name