Names matching 'Aliatypus thompsoni'