Implicit quantification

The paper should support the following declaration:

id :: a -> a 
id x = x

but it currently doesn't.