†superfamily Martinioidea Waagen 1883 (lamp shell)