Move ExplicitForAll checks out of the parser
Now that forall is unconditionally a keyword in types, we can move the checks for ExplicitForAll out of the parser and into (say) the renamer. This should allow us to produce better error messages, I think.
This is just an internal refactor, but it strikes me as worthwhile.