Hi,
I love the draft and have gone through it. The language itself is simple and basic - but there is one thing that you might consider adding that seems very relevant to your description of the language. You describe the language as:
But the compiler’s source or input language is a subset (or a simpli-
fied version) of TypeScript.
One thing that I think migh be important to some is the idea of reserved keywords (or in your language - there does not seem to be any). For example - in your language - I can do this:
var if = 10;
Which allows one to do this:
if (if == 10)
To some this might seem like a small thing - but I think by adding in a quick note about there not being any reserved keywords for variable names and the like - it would be helpful to others.