Bug fix: unguarded `unify` in `Infer.simplify`.