I don't think we should think too hard about inferring types of one column based on the others.  What we have right now is already more sophisticated than other parsers I'm aware of.  My goal is to get something dumb out that works reasonably robustly and then depend on type hints from the user.