if I'm not mistaken, they're called flexible types...
# language-proposals
k
if I'm not mistaken, they're called flexible types in the source