Parse forall and type class constraints.