newtype coercion wrapping status

[Richard Eisenberg]

On Sep 2, 2013, at 5:33 PM, Joachim Breitner wrote:
> 
>> - The changes in Coercion are correct -- the use of Nominal that you
>> removed harkened to the days when all CoVars were Nominal.
> 
> Would you prefer to apply these changes to HEAD independently of the
> coercion feature? It would keep my patch cleaner. 
> 

Done, and pushed. Thanks for bringing this to my attention.

Richard