constant string argument overloading

[nadako]

https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#18-overloading-on-string-parameters - this could be implemented by generating a macro function that analyzes args for constant strings and types the return value apropriately.