Linear types: 'undefined x' should be linear in x

The following LinearTypes code should typecheck:

f :: a #-> b                                                                   
f x = undefined x                                                            

since undefined could be instantiated as a linear function a #-> b. However, it currently fails because the unifier code always uses unrestricted functions.

I have a fix in !4101 (closed).