Concatenates a class name and elements to form a dotted name, eliding any null values or empty strings.
static String nameWithType(Type t, List<String> names) => name([t.toString(), ...names]);