Sum types, 2024 variant

[Araq]

I didn't check the grammar but
    
    
    proc store[T: case](f: var File; x: T)
    
    
    
    Run

looks easy enough to support.