Technically that is correct, yes. Properly, a pastel has a heterozygous allele pair for the pastel gene, and a super pastel has a homozygous allele pair for the pastel gene.
The problem with ball python naming in general is that the morphs are named after the visual representation. Since the heterozygous forms of co-dominant and dominant traits are usually found long before the homozygous version, the hets get named one thing, and the homozygous versions another (ie. Fire/Black Eyed Leucistic, Mojave/Blue Eyed Leucistic, and so on).