Disallow polymorphic hints based on a constr as it is not possible to infer their universe
context. Only global references can be made polymorphic. Fixes issue #8.
Merge branch 'univpoly' of ../../coq/git into trunk