Ah I see, so you want it improved upon to better align with what has always been available to actually be represented by the option type system, I can agree wit

Ah I see, so you want it improved upon to better align with what has always been available to actually be represented by the option type system, I can agree with that. I'll be honest, I have not used it extensively, I'm used to just doing Python the old way, maybe once its been fully refined and becomes the status quo I'll dive into it. Until then, if I want types I just use a typed language.