Sum types, 2024 variant

[Araq]

I can see how `None` could easily behave like `nil` but `Le[string, _]` is a 
new beast ("partially instantiated generic").