Let ImpredicativeTypes imply ExplicitForAll. Fixes #16.