type inference

Type inference for data frames