pub fn make_option( builtin_types: NonNull<BuiltinTypes>, arena: &mut TypeArena, t: TypeId, ) -> TypeId