public static string ToStringList(System.Collections.IEnumerable names) { return Builtins.join(names.Cast<object>().Select(o => DisplayStringFor(o)).OrderBy(_ => _), ", "); }