The number model, for example, is similar to the model that julia language uses. And if you entertase stuff with simple types, you can get quite good speed up. But saying something is a particular type doesn't tell you very much about it. It's not like jarva or c plus plus, where having a particular class means it has those instant attributes.