[regulation_d]

There is active work being done currently to add set-theoretic types to the core language. https://www.youtube.com/watch?v=gJJH7a2J9O8

[xwowsersx]

Oh wow I wasn't aware. Thanks for the link!