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).

Comienza revisando la sintaxis propuesta A super Kitten y la discusión en el issue #13337, ya que aquí no se identifican archivos de implementación ni pruebas. Determina los cambios necesarios en el lenguaje y la comprobación de tipos, y añade cobertura que demuestre que los parámetros de tipo con límite inferior se compilan y se comportan como se describe.