Add infer_cases
Add Inf.infer_field_defs