What's behind the scene on GPT is partition type GUID. If you use fdisk to create a partition on a GPT you can see them listed when you pick the type. "EF00" is the gdisk translation of the partition type GUID. "EFI System" is often set as a partition label, which is arbitrary.