†suborder Dinocephalia Seeley 1894 (reptile)