tectotypes