Sauropsids would later include which other animals into its group