What is "thelerpeton"

Thelerpeton is an extinct genus of procolophonine procolophonid parareptile from middle Triassic (early Anisian stage) deposits of Free State Province, South Africa. It is known from the holotype BP/1/4538, a nearly complete skull. It was collected by the South African palaeontologist, James W. Kitching from Hugoskop in the Rouxville District and referred to subzone B of the Cynognathus Assemblage Zone of the Burgersdorp Formation, Beaufort Group ( Karoo Basin). It was first named by Sean P. Modesto and Ross J. Damiani in 2003 and the type species is Thelerpeton oppressus. It was first assigned to a species of Thelegnathus (now considered to be a nomen dubium), Thelegnathus oppressus.