Add support for Typescript-style type annotations

[tehsenaus]

http://www.typescriptlang.org/Handbook

Should types be explicitly checked at runtime, or coerced like http://asmjs.org/?

Add "!" suffix to enforce type check? Compile time flag?

Also, support interfaces?
http://www.typescriptlang.org/Handbook#interfaces