String name() { final name = toString().replaceAll('Symbol("', '').replaceAll('")', ''); return name; }