The issue was that type constants in union types had not been introduced yet.

I agree that the original way was more natural in JS, so we should re-order things so that the concept has already been introduced. Maybe we should do "union of constant types" and then "general union types"?