Inferred fields, parameters. Still need to infer return types.