Add strongly typed APIs to DataFrame

Binary Ops and Computations should have more strongly typed APIs. Generating APIs for all combinations of all column types seems like overkill, but straightforward strong typing seems like a reasonable compromise. For ex:

```
string a = "foo";
string b = "bar";

??? c = a + b;
```