Not in the part I quoted.
Hard to say without a concrete proposal. But it is also unclear what their benefit would be.
My understanding is that in Julia, types are mostly used for dispatch, and by the compiler, but not for enforcing anything. In fact, Julia relishes the fact that not all expressions have a type at “compile time”.