Improve inference with linear types

This fixes test Linear14. The code in Unify.hs was always using multiplicity Many instead of a new metavariable.