pp screws up typestate assertions

[jruderman]

fn f(x: uint) : nonzero(x) { }

becomes

fn f(x: uint) : nonzero(0) { }

caught by running the fuzzer's convergence test on an unmodified ivec.rs

[msullivan]

This looks fixed.