Return true iff this Union4 has a type in X1 .. X4.
X1
X4
bool get isValid => value is X1 || value is X2 || value is X3 || value is X4;