Specialize primitives even when eta-expanding

As pointed out in [PR 6494](http://caml.inria.fr/mantis/view.php?id=6494), primitives are not always specialized even though type information are available.

This request changes code generation to always specialize when enough is known about types.