Don't pass duplicate information to HoleEdit and InferredEdit (in Sugar.pl and as args)