More documentation for updateIn
Remove overzealous assertNotInfinite

seqIteration is allowed for infinite types because it's not known for sure that iteration will seek the end of the list.

Added a test in Range() to illustrate

Closes #248
Move infinite assertions into constructors