Added 'cut', 'never' to Iter. Renamed 'toIterT'.

The name liftIter is more informative (as the fact that the code is
inside an 'IterT' monad should be explicit already). Also, it's a
monad homomorphism, similar to many things that are named 'lift…'.