add Lepton::str()