my understanding is that this Builtin optional type is dead code and should be removed, which matters a lot because TTypeKind.high == 63 I'd like to add a new TTypeKind without making set operations on types slower (although this should be benchmarked to see if it matters or not)
- is `tyOpt` still used? timothee
