This uses variants instead of a `%union`, and "complete symbols" that can call complex constructors.
The note is not visible to the blocked user.