fixed wierd pruning bug, see tests/neg/prune0.hs
more casting/freshing woes