Speaking of any. What is the type of any actually?
Its instance is an existential, basically a box that can hold anything, but I’m not sure about the actual type. Is it a special interface of some sort or just a special built-in type?
Furthermore, are there any plans to permit dynamic downcasts from an instance of type any?
Something: any = ...
if (Number := int[Something]) {} # this is currently not permitted.
Using any to box multiple different types and then dynamically restore their actual type seems to be currently not permitted. This is a huge hole in the usefulness of any.