This might not currently be possible, but I haven't checked for it specifically.
The main thing is to prevent C++ extensions from accessing information about the underlying type of an object, even if it's just the category name.
Note that, since parameters are technically variables, it's fine for C++ extensions to examine typename, etc. Doing so would be equivalent to using reduce in Zeolite, and it doesn't allow access to the "real" underlying type of a particular value.
This might not currently be possible, but I haven't checked for it specifically.
The main thing is to prevent C++ extensions from accessing information about the underlying type of an object, even if it's just the category name.
Note that, since parameters are technically variables, it's fine for C++ extensions to examine
typename, etc. Doing so would be equivalent to usingreducein Zeolite, and it doesn't allow access to the "real" underlying type of a particular value.