Fixed typo.
Removing subst from Conat→N.