AppliedPiResult: closed import of Infer.Unify
Generalize type of Unify.fresh. Add Unify.freshHole