Completely agree 100%. Hopefully Typescript isn't merging any sort of runtime type checking.
Edit: to clarify, runtime type information should not be used to check for types again, but rather to do things similar to Java's reflection.
var length = rtts.type(name.length, rtts.int);
https://docs.google.com/document/d/11YUzC-1d0V1-Q3V0fQ7KSit9...