Removing restriction on polymorphic injections. Printing a warning instead.
Merge pull request #130 from ocsigen/polymorphicinjections

Removing restriction on polymorphic injections. Printing a warning inste...