Only coerce the SNat, not the Either constructor.

[matt-noonan]

Without this change, minusSNat always returns a Left value, either because it should return Left, or else because we've coerced a SNat into an Either , which gives us something Left(!)

[mstksg]

Great catch, thanks!