[tialaramex]

> It's worth noting that nearly every statically-typed language currently in existence has either two separate "type systems"

Either that or... ? You should probably complete this thought.

I don't think the distinction you've claimed make much sense, but perhaps you had an alternative which you just never explained.

[ledauphin]

that was a typo - no "either" was intended. I've amended the original. not sure if that will help clarify?