- fix the scoping of (fun ('a -> 'a -> 'a) x -> (fun ('a -> 'a) y -> ...))
so that the second interface uses the same 'a as the first
- prevent global declration of polymorphic values that are not functions (unsound
in the absence of value restriction because of side effects).
- add more complex test cases for polymorphic types and functions.