Fix constructor grouping and some subpar markup

of keyword in polyvar decls and rarrow for cons gadt syntax