Learning Type Inference for Enhanced Dataflow Analysis