Let ImpredicativeTypes imply ExplicitForAll. Fixes #16.
Parse "foo = interruptible". Cousin issue to #86.
Test "foo = interruptible". Cousin issue to #86.
Fix -Wall warnings.