Extract the name of this Symbol
String get name { final full = toString(); // remove leading 'Symbol("' and trailing '")' return full.substring(8, full.length - 2); }