Did the distinction between "heavy" and "light" infantry/cavalry exist in history, or is this a modern designation applied in hindsight?