More strong Promise<T> in lib.es6.d.ts

I think it would be good to be able to define the type of error in Promise type. I suggest promise type to be something like this:

interface Promise<T,U> {
    /**
    * Attaches callbacks for the resolution and/or rejection of the Promise.
    * @param onfulfilled The callback to execute when the Promise is resolved.
    * @param onrejected The callback to execute when the Promise is rejected.
    * @returns A Promise for the completion of which ever callback is executed.
    */
    then<TResult>(onfulfilled?: (value: T) => TResult | PromiseLike<TResult>, onrejected?: (reason: U) => TResult | PromiseLike<TResult>): Promise<TResult>;
    then<TResult>(onfulfilled?: (value: T) => TResult | PromiseLike<TResult>, onrejected?: (reason: U) => void): Promise<TResult>;

    /**
     * Attaches a callback for only the rejection of the Promise.
     * @param onrejected The callback to execute when the Promise is rejected.
     * @returns A Promise for the completion of the callback.
     */
    catch(onrejected?: (reason: U) => T | PromiseLike<T>): Promise<T>;
    catch(onrejected?: (reason: U) => void): Promise<T>;

    [Symbol.toStringTag]: string;
}

Or at least have a Promise<T, U> type which extends Promise<T>.

Inizia dalle dichiarazioni di Promise in lib.es6.d.ts e confrontale con la forma di Promise<T,U> a due parametri proposta nell’issue. Esamina l’impatto della proposta su then e catch, inclusa la compatibilità con l’uso esistente di Promise. Il lavoro è completato quando il design previsto per i rifiuti tipizzati è concordato e riflesso nelle dichiarazioni pertinenti e nella copertura della validazione.