typemigration

migrate Symbol.getValue() type from String to char