Migrate `unarySymbol' to Rep.
Migrate `binarySymbol' to Rep.
Migrate `constant' to Rep.