holostratotypes