Eliminate non-generic functions

Every non-generic function can be expressed as generic function with a single type parameter corresponding to each argument. Explicit parameter type annotations simply correspond to extends constraints on the type parameters of the generic equivalent.

While the title of the issue is "eliminate non-generic functions", in practice this simply gets rid of all the syntax ceremony involved in declaring generic functions. A function declaration as follows:

function repeat(item, n: number) => Array(n).fill(item)

will be inferred as: type F = <T1 extends any, T2 extends number>(item: T1, number: T2) => T1[], and the result of invoking it with repeat("foo", 10) is inferred as string[], not any[].

Es werden keine Dateien, Tests oder Einstiegspunkte genannt. Beginne damit, die im Issue vorgeschlagenen Inferenzbeispiele und das dazugehörige TypeScript-Design für die Typinferenz zu untersuchen; abgeschlossen wäre die Aufgabe, wenn eine vereinbarte Implementierung vorliegt, die generische Parameter und Constraints aus gewöhnlichen Funktionsdeklarationen ohne explizite generische Syntax ableitet.