†superfamily Nycteroleteroidea Romer 1956 (parareptile)