Merge branch 'master' into typespec
More precise specification for 'Forall'.
Merge branch 'typespec' into gadt
Allow more relaxed 'Forall' constructor.