VoidType needed

[amir-arad]

Use-cases:

• generic parameter (e.g. EventHandler<void>)
• method parameters schema

how does returning void differ from returning undefined?
Or is this for code-sense-foo?

void is a special type that only matches undefined, so when the type signature is void, you expect the runtime value to be undefined.