Implement a general mechanism for type parameter inference

Type parameter inference is currently limited to builtins.

```ts
var a = 42.0;
abs(a); // works

function myFunc<T>(a: T) {}
myFunc(a); // does not work
myFunc<f64>(a); // works
```

Putting this here so I don't forget.