[JoRyGu]

Can you clarify what you mean? I'm not sure how you watched/read that and got "type system" out of it.

[noelwelsh]

Adding annotations (runes) to expressions to describe their properties is basically putting type annotations on expressions. Maybe I missed something, but that what it seemed like to me.