Prune case trees properly on optimised Nat

x!-1 is treated as a special case in argument projection, where x is
assumed to be a Big Integer and has 1 subtracted from it. Case trees
where only a single constant or successor are left are now collapsed.