Enable type parameter lower-bound syntax

TypeScript Version: 2.1.1

Code

class Animal {}
class Cat extends Animal {}
class Kitten extends Cat{}

function foo<A super Kitten>(a: A) { /* */ }

Expected behavior:
The type parameter A has the type Kitten as lower-bound.

Actual behavior:
Compilation failure. The syntax is unsupported.

Discussion:
The upper-bound counterpart of the failed code works fine:

class Animal {}
class Cat extends Animal {}
class Kitten extends Cat{}

function foo<A extends Animal>(a: A) { /* */ }

People in issue #13337 have suggested to use

function foo <X extends Y, Y>(y: Y) { /* */ }

to lower-bound Y with X. But this does not cover the case where X is an actual type (instead of a type parameter).

Beginne mit der Durchsicht der vorgeschlagenen Syntax A super Kitten und der Diskussion in Issue #13337, da hier keine Implementierungsdateien oder Tests angegeben sind. Ermittle die erforderlichen Änderungen an Sprache und Typprüfung und füge Abdeckung hinzu, die zeigt, dass Typparameter mit unterer Schranke kompiliert werden und sich wie beschrieben verhalten.