Parse comments at the start of a file
Rationalize quantification.  Disallow forall to quantify over type
constructors, just base types.

We'll do F-Omega later.