Move to 13 TeV lepton definitions (unvalidated\!)