Updating Language Specification

Fixes #616.

The old compiler had certain restrictions on infinitely expanding generic types. Those restrictions have been removed in the new compiler. This pull request updates the Language Specification accordingly.

Related disucssions here:

https://typescript.codeplex.com/workitem/1099
https://typescript.codeplex.com/discussions/451847