Ceylon and Kotlin are two languages who did this (both instanceOf/cast and instance creation).