releases/4.02.md: fix extensible types notation

Reported by @whitequark.