Is `false` a bottom type in Verse?

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.