`MaybeInvalid<T>` - separate concepts of uninitialized memory and invalid values

I thought “poison” too, but then read the docs, and thought “undef” is more accurate. And the generated LLVM IR seems to agree with this assessment, too