Output this as a pretty string. Override for propper text.
@override String toPrettyString() { var ret = names[this]; if (ret != null) return ret; return super.toPrettyString(); }