Christopher Reynolds — British linguist (1922-2015)